Functor Cfg_impl.Make

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