Module type Incremental_kernel.Incremental_intf.Incremental

module type Incremental_config = Config.Incremental_config

module type S_abstract_times = S_abstract_times

module type S_without_times = S_without_times

module type S = S

module Config = Config

Make returns a new incremental implementation. Incremental uses a timing wheel for its time-based functions. Make uses Config.Default ().

Make_with_config allows one to specify the timing-wheel configuration.

module Make : functor () S

module Make_with_config : functor (C : Incremental_config) -> functor () S