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