Module Fol_formula.Vernacular


module Vernacular: sig .. end

type 'a term = Fol_formula.uterm 
type pred = Fol_formula.predicate 
include Fol_gformula.Langage