Module Wprop


module Wprop: sig .. end
Memoized state for key

Updaters



module type Actor = sig .. end
module Updater: 
functor (A : Actor) -> sig .. end
module WP: State_builder.Ref(Datatype.Unit)(sig
val name : string
val kind : [> `Internal ]
val dependencies : State.t list
val default : unit -> unit
end)
module type Info = sig .. end
module type Indexed = sig .. end
val kindex : int Pervasives.ref
module Indexed: 
functor (Key : Datatype.S_with_collections) ->
functor (Info : Info with type key = Key.t) -> sig .. end
module type Indexed2 = 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