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