Type Alias Z3_parser_context 

pub type Z3_parser_context = NonNull<_Z3_parser_context>;

Context for incrementally parsing SMTLIB2 strings.

Aliased Type

pub struct Z3_parser_context { /* private fields */ }