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