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