Z3List (docs.findlib-94.z3.Z3.Z3List)

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