Type Alias Z3_sort 

pub type Z3_sort = NonNull<_Z3_sort>;

Kind of AST used to represent types.

Aliased Type

pub struct Z3_sort { /* private fields */ }