Incrementalmodule type Incremental_config = Config.Incremental_configmodule type S = sig ... endmodule Config : sig ... endMake returns a new incremental implementation. Make uses Config.Default ().
module Make_with_config (C : Incremental_config) () : Smodule Private : sig ... end