Type Definition Z3_config
z3_sys
type Z3_config = *mut _Z3_config;
Configuration object used to initialize logical contexts.