package z3

  1. Overview
  2. Docs
val mk_sort : context -> Symbol.symbol -> Symbol.symbol list -> Sort.sort list -> Sort.sort
val get_mk_decl : Sort.sort -> FuncDecl.func_decl
val get_num_fields : Sort.sort -> int
val get_field_decls : Sort.sort -> FuncDecl.func_decl list
OCaml

Innovation. Community. Security.