Type Definition z3_sys::Z3_pattern [−][src]
pub type Z3_pattern = *mut _Z3_pattern;
Expand description
Kind of AST used to represent pattern and multi-patterns used to guide quantifier instantiation.
pub type Z3_pattern = *mut _Z3_pattern;
Kind of AST used to represent pattern and multi-patterns used to guide quantifier instantiation.