package z3

  1. Overview
  2. Docs
val mk_sort : context -> Symbol.symbol -> Symbol.symbol list -> Sort.sort
val mk_sort_s : context -> string -> string list -> Sort.sort
val get_const_decls : Sort.sort -> FuncDecl.func_decl list
val get_const_decl : Sort.sort -> int -> FuncDecl.func_decl
val get_consts : Sort.sort -> Expr.expr list
val get_const : Sort.sort -> int -> Expr.expr
val get_tester_decls : Sort.sort -> FuncDecl.func_decl list
val get_tester_decl : Sort.sort -> int -> FuncDecl.func_decl
OCaml

Innovation. Community. Security.