Module Mcfg

module Mcfg: sig .. end

type scope = 
| SC_Global
| SC_Function_in
| SC_Function_frame
| SC_Function_out
| SC_Block_in
| SC_Block_out
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.