sig
  type 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