Incremental_kernel__Incremental (incremental_kernel.Incremental_kernel_

include Incremental_kernel.Incremental_intf.Incremental

module type Incremental_config = Incremental_kernel.Config.Incremental_config

module type S_abstract_times = Incremental_kernel.Incremental_intf.S_abstract_times

module type S_without_times = Incremental_kernel.Incremental_intf.S_without_times

module type S = Incremental_kernel.Incremental_intf.S

module Config = Incremental_kernel.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