Type Alias Z3_config 

pub type Z3_config = NonNull<_Z3_config>;

Configuration object used to initialize logical contexts.

Aliased Type

pub struct Z3_config { /* private fields */ }