pub type Z3_pattern = *mut _Z3_pattern;
Kind of AST used to represent pattern and multi-patterns used to guide quantifier instantiation.