sig
type pattern = Pattern of Z3.AST.ast
val ast_of_pattern : Z3.Quantifier.Pattern.pattern -> Z3.AST.ast
val pattern_of_ast : Z3.AST.ast -> Z3.Quantifier.Pattern.pattern
val get_num_terms : Z3.Quantifier.Pattern.pattern -> int
val get_terms : Z3.Quantifier.Pattern.pattern -> Z3.Expr.expr list
val to_string : Z3.Quantifier.Pattern.pattern -> string
end