Type Alias Z3_context 

pub type Z3_context = NonNull<_Z3_context>;

Manager of all other Z3 objects, global configuration options, etc.

Aliased Type

pub struct Z3_context { /* private fields */ }