Type Alias Z3_constructor 

pub type Z3_constructor = NonNull<_Z3_constructor>;

Type constructor for a (recursive) datatype.

Aliased Type

pub struct Z3_constructor { /* private fields */ }