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