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 :
'a Formula.Vernacular.term -> Formula.abstract Formula.Vernacular.term
val unwrap :
Formula.abstract Formula.Vernacular.term -> 'a Formula.Vernacular.term
end