Module Z3.Datatype.Constructor

module Constructor: sig .. end
Datatype Constructors

type constructor 
val get_num_fields : constructor -> int
The number of fields of the constructor.
val get_constructor_decl : constructor -> FuncDecl.func_decl
The function declaration of the constructor.
val get_tester_decl : constructor -> FuncDecl.func_decl
The function declaration of the tester.
val get_accessor_decls : constructor -> FuncDecl.func_decl list
The function declarations of the accessors