Module Fol_why


module Fol_why: sig .. end

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