module I:Wprop.Indexed
(
P
)
(
Info
)
typekey =
Key.t
module H:State_builder.Hashtbl
(
Key.Hashtbl
)
(
Property
)
(
Info
)
val hooks : (key -> Property.t -> unit) list Pervasives.ref
val add_hook : (key -> Property.t -> unit) -> unit
val mem : H.key -> bool
val property : key -> H.data