package cfg
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Make (Spec_ : Cfg_intf.SPEC) : Cfg_intf.CFG with module Spec = Spec_module Make (Spec_ : Cfg_intf.SPEC) : Cfg_intf.CFG with module Spec = Spec_