Type Alias Z3_fixedpoint 

pub type Z3_fixedpoint = NonNull<_Z3_fixedpoint>;

Context for the recursive predicate solver.

Aliased Type

pub struct Z3_fixedpoint { /* private fields */ }