Up
Module
Incremental
Signature
module type
Incremental_config
=
Config.Incremental_config
module type
S_abstract_times
=
Incremental_intf.S_abstract_times
module type
S
=
Incremental_intf.S
module
Config
=
Config
module
Make
() :
S
module
Make_with_config
(
C
:
Incremental_config
) () :
S