Module Wprop

module Wprop: sig .. end

Indexed API



module WP: State_builder.Ref(Datatype.Unit)(sig
val name : string
val dependencies : State.t list
val default : unit -> unit
end)
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
module Indexed: 
functor (Key : Datatype.S_with_collections) ->
functor (Info : Info with type key = Key.t) -> sig .. end
module Indexed2: 
functor (Key1 : Datatype.S_with_collections) ->
functor (Key2 : Datatype.S_with_collections) ->
functor (Info : Info with type key = Key1.t * Key2.t) -> sig .. end