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