Type Alias Z3_model 

pub type Z3_model = NonNull<_Z3_model>;

Model for the constraints inserted into the logical context.

Aliased Type

pub struct Z3_model { /* private fields */ }