Up  

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.