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