Type Alias Z3_pattern 

pub type Z3_pattern = NonNull<_Z3_pattern>;

Kind of AST used to represent pattern and multi-patterns used to guide quantifier instantiation.

Aliased Type

pub struct Z3_pattern { /* private fields */ }