sig
  type key
  val state : Wprop.Indexed.key -> State.t
  val property : Wprop.Indexed.key -> Property.t
end