Module Wp.Mcfg

module Mcfg: sig .. end

type scope =

module type Export = sig .. end

module type Splitter = sig .. end

module type S = sig .. end

This is what is really needed to propagate something through the CFG.