sig
  type key1
  type key2
  val mem : Wprop.Indexed2.key1 -> Wprop.Indexed2.key2 -> bool
  val property : Wprop.Indexed2.key1 -> Wprop.Indexed2.key2 -> Property.t
  val add_hook :
    (Wprop.Indexed2.key1 -> Wprop.Indexed2.key2 -> Property.t -> unit) ->
    unit
end