module I:Wprop.Indexed
(
P
)
(
Info
)
typekey =
Key.t
module Dash:State_builder.Dashtbl
(
Dashtbl.Default_key_marshaler
(
Key
)
)
(
Dashtbl.Default_data_marshaler
(
Datatype.Unit
)
)
(
sig
val size :int
val dependencies :State.t list
val name :string
val kind :[> `Internal ]
val internal_kind :State.kind
end
)
module Proxy:Properties_status.Make_updater
(
sig
end
)
val set_proxy : Wprop.Info.key -> State.t -> unit
val state : key -> State.t
val property : key -> Property.identified_property