Functor Fol_ergo.Make


module Make: 
functor (L : sig
val tau_of_ctype_logic : Cil_types.typ -> Formula.tau
end) -> sig .. end
Parameters:
L : sig val tau_of_ctype_logic : Cil_types.typ -> Formula.tau end

type pred = Fol.pred 
type decl = Fol.decl 
val export_section : Format.formatter -> string -> unit
val export_tau : Format.formatter -> Formula.tau -> unit
val export_decl : Format.formatter ->
(Fol.Var.t, Fol.term, Fol.pred) Formula.declaration -> unit
val export_goal : Format.formatter -> string -> Fol.pred -> unit