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