package incremental
-
incremental
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include Incremental_intf.Incremental
module Config = Incremental_kernel.Configmodule type Incremental_config = Config.Incremental_configmodule type S = Incremental_intf.Smodule Make_with_config (C : Incremental_config) () : S