Module Incremental
include Incremental__.Incremental_intf.Incremental
module type Incremental_config = Config.Incremental_configmodule type S = Incremental__.Incremental_intf.Smodule Config : Incremental__.Config_intf.Configmodule Make_with_config : functor (C : Incremental_config) -> functor () Smodule Private : sig ... end