module Wprop: sig .. end
sig
end
type property =
|
Later of Property.t
Property.t
Proxy of Property.t * Emitter.t * Property.t list
Property.t * Emitter.t * Property.t list
module type Info = sig .. end
module type Indexed = sig .. end
module type Indexed2 = sig .. end
module Indexed: functor (Key : Datatype.S_with_collections) -> functor (Info : Info with type key = Key.t) -> Indexed with type key = Key.t
functor (
Key
:
Datatype.S_with_collections
) ->
Info
with type key = Key.t
Indexed
module Indexed2: functor (Key1 : Datatype.S_with_collections) -> functor (Key2 : Datatype.S_with_collections) -> functor (Info : Info with type key = Key1.t * Key2.t) -> Indexed2 with type key1 = Key1.t and type key2 = Key2.t
Key1
Key2
with type key = Key1.t * Key2.t
Indexed2
with type key1 = Key1.t and type key2 = Key2.t