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