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