Up
–
cfg
»
Cfg
» Cfg_impl
Module
Cfg.Cfg_impl
module
Make
(
Spec_
:
Cfg_intf.SPEC
) :
Cfg_intf.CFG
with
module
Spec
=
Spec_