Module Cfg.Cfg_impl

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