Module Wp.CfgCalculus

type props = [
| `All
| `Names of string list
| `PropId of Frama_c_kernel.Property.t
]
module Make (W : sig ... end) : sig ... end