Frama-C API - `CfgCalculus`

type mode = {

kf : Frama_c_kernel.Cil_types.kernel_function;
bhv : Frama_c_kernel.Cil_types.funbehavior;
infos : CfgInfos.t;

}

type props = [

| `All
| `Names of string list
| `PropId of Frama_c_kernel.Property.t

]

module Make (W : sig ... end) : sig ... end