Function z3_sys::Z3_mk_constructor_list [−][src]
pub unsafe extern "C" fn Z3_mk_constructor_list(
c: Z3_context,
num_constructors: c_uint,
constructors: *const Z3_constructor
) -> Z3_constructor_list
Expand description
Create list of constructors.
c
: logical context.num_constructors
: number of constructors in list.constructors
: list of constructors.