module Vernacular: sig .. end
sig
end
type 'a term = Fol_formula.uterm
'a
Fol_formula.uterm
type pred = Fol_formula.predicate
Fol_formula.predicate
include Fol_gformula.Langage