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.