Module CfgCalculus

module CfgCalculus: sig .. end

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