sig
  type 'a term
  type pred
  val e_int : int -> Formula.integer Formula.Vernacular.term
  val e_call :
    string ->
    Formula.abstract Formula.Vernacular.term list ->
    Formula.abstract Formula.Vernacular.term
  val p_call :
    string ->
    Formula.abstract Formula.Vernacular.term list -> Formula.Vernacular.pred
  val wrap :
    'Formula.Vernacular.term -> Formula.abstract Formula.Vernacular.term
  val unwrap :
    Formula.abstract Formula.Vernacular.term -> 'Formula.Vernacular.term
end