Module Cfg_impl

module Cfg_impl: sig .. end

module Make: 
functor (Spec_ : Cfg_intf.SPEC) -> CFG with module Spec = Spec_