sig
  type parameter =
      P_Int of int
    | P_Dbl of float
    | P_Sym of Z3.Symbol.symbol
    | P_Srt of Z3.Sort.sort
    | P_Ast of Z3.AST.ast
    | P_Fdl of Z3.FuncDecl.func_decl
    | P_Rat of string
  val get_kind : Z3.FuncDecl.Parameter.parameter -> Z3enums.parameter_kind
  val get_int : Z3.FuncDecl.Parameter.parameter -> int
  val get_float : Z3.FuncDecl.Parameter.parameter -> float
  val get_symbol : Z3.FuncDecl.Parameter.parameter -> Z3.Symbol.symbol
  val get_sort : Z3.FuncDecl.Parameter.parameter -> Z3.Sort.sort
  val get_ast : Z3.FuncDecl.Parameter.parameter -> Z3.AST.ast
  val get_func_decl :
    Z3.FuncDecl.Parameter.parameter -> Z3.FuncDecl.func_decl
  val get_rational : Z3.FuncDecl.Parameter.parameter -> string
end