package z3

  1. Overview
  2. Docs
module Constructor : sig ... end
val mk_constructor : context -> Symbol.symbol -> Symbol.symbol -> Symbol.symbol list -> Sort.sort option list -> int list -> Constructor.constructor
val mk_constructor_s : context -> string -> Symbol.symbol -> Symbol.symbol list -> Sort.sort option list -> int list -> Constructor.constructor
val mk_sort_ref : context -> Symbol.symbol -> Sort.sort
val mk_sort_ref_s : context -> string -> Sort.sort
val mk_sort_s : context -> string -> Constructor.constructor list -> Sort.sort
val mk_sorts : context -> Symbol.symbol list -> Constructor.constructor list list -> Sort.sort list
val mk_sorts_s : context -> string list -> Constructor.constructor list list -> Sort.sort list
val get_num_constructors : Sort.sort -> int
val get_constructors : Sort.sort -> FuncDecl.func_decl list
val get_recognizers : Sort.sort -> FuncDecl.func_decl list
val get_accessors : Sort.sort -> FuncDecl.func_decl list list
OCaml

Innovation. Community. Security.