Module Wprop

module Wprop: sig .. end

Indexed API


type property = 
| Later of Property.t
| Proxy of Property.t * Emitter.t * Property.t list
module type Info = sig .. end
module type Indexed = sig .. end
module type Indexed2 = sig .. end

Indexes

module Indexed: 
functor (Key : Datatype.S_with_collections-> 
functor (Info : Info with type key = Key.t-> Indexed with type key = Key.t
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