Module type Formula.Vernacular


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