Type Alias Z3_probe 

pub type Z3_probe = NonNull<_Z3_probe>;

Function/predicate used to inspect a goal and collect information that may be used to decide which solver and/or preprocessing step will be used.

Aliased Type

pub struct Z3_probe { /* private fields */ }