Module Wprop.Indexed2.I

module I: Wprop.Indexed(P)(Info)

type key = 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