sig   type key   val mem : Wprop.Indexed.key -> bool   val property : Wprop.Indexed.key -> Property.t   val add_hook : (Wprop.Indexed.key -> Property.t -> unit) -> unit end