Module Fol_gformula


module Fol_gformula: sig .. end

module Langage: sig .. end
module Pool: sig .. end
module Predicate: sig .. end