package z3

  1. Overview
  2. Docs
type parameter =
  1. | P_Int of int
  2. | P_Dbl of float
  3. | P_Sym of Symbol.symbol
  4. | P_Srt of Sort.sort
  5. | P_Ast of AST.ast
  6. | P_Fdl of func_decl
  7. | P_Rat of string
val get_int : parameter -> int
val get_float : parameter -> float
val get_symbol : parameter -> Symbol.symbol
val get_sort : parameter -> Sort.sort
val get_ast : parameter -> AST.ast
val get_func_decl : parameter -> func_decl
val get_rational : parameter -> string