Module Z3.FuncDecl.Parameter

module Parameter: sig .. end
Parameters of Func_Decls

type parameter = 
| P_Int of int
| P_Dbl of float
| P_Sym of Symbol.symbol
| P_Srt of Sort.sort
| P_Ast of AST.ast
| P_Fdl of FuncDecl.func_decl
| P_Rat of string
Parameters of func_decls
val get_kind : parameter -> Z3enums.parameter_kind
The kind of the parameter.
val get_int : parameter -> int
The int value of the parameter.
val get_float : parameter -> float
The float value of the parameter.
val get_symbol : parameter -> Symbol.symbol
The Symbol.Symbol value of the parameter.
val get_sort : parameter -> Sort.sort
The Sort value of the parameter.
val get_ast : parameter -> AST.ast
The AST value of the parameter.
val get_func_decl : parameter -> FuncDecl.func_decl
The FunctionDeclaration value of the parameter.
val get_rational : parameter -> string
The rational string value of the parameter.