module Fol_why: sig .. end
sig
end
module EWhy: functor (L : sigval tau_of_ctype_logic : Cil_types.typ -> Formula.tauend) -> sig .. end
functor (
L
:
val tau_of_ctype_logic : Cil_types.typ -> Formula.tau
Cil_types.typ -> Formula.tau
) ->