package z3

  1. Overview
  2. Docs
val mk_sort : context -> Symbol.symbol -> Sort.sort -> Sort.sort
val mk_list_s : context -> string -> Sort.sort -> Sort.sort
val get_nil_decl : Sort.sort -> FuncDecl.func_decl
val get_is_nil_decl : Sort.sort -> FuncDecl.func_decl
val get_cons_decl : Sort.sort -> FuncDecl.func_decl
val get_is_cons_decl : Sort.sort -> FuncDecl.func_decl
val get_head_decl : Sort.sort -> FuncDecl.func_decl
val get_tail_decl : Sort.sort -> FuncDecl.func_decl
val nil : Sort.sort -> Expr.expr