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