module CfgCalculus: sig .. end
sig
end
type mode = {
kf : Cil_types.kernel_function;
Cil_types.kernel_function
bhv : Cil_types.funbehavior;
Cil_types.funbehavior
infos : CfgInfos.t;
CfgInfos.t
}
type props = [ `All | `Names of string list | `PropId of Property.t ]
[ `All | `Names of string list | `PropId of Property.t ]
module Make: functor (W : Mcfg.S) -> sig .. end
functor (
W
:
Mcfg.S
) ->