sig
  type key1
  type key2
  val state : Wprop.Indexed2.key1 -> Wprop.Indexed2.key2 -> State.t
  val property : Wprop.Indexed2.key1 -> Wprop.Indexed2.key2 -> Property.t
end