Module CfgInit

module CfgInit: sig .. end

module Make: 
functor (W : Mcfg.S-> sig .. end