module Config = Incremental_kernel.Config
module type Incremental_config = Config.Incremental_config
module type S = S
module Make : functor () S
module Make_with_config : functor (C : Incremental_config) -> functor () S