what's the best way to spec that some relationship holds between the keys and values of a map?

in my case I have a map whose keys describe some range, and the vals are vecs of items which should be in the range described by the key

s/and?

(s/and (s/map-of ::x ::y) kv-rel-holds?)

nothing better?

You can spec it as a coll of entry tuples

Then you get both k and v

(s/coll-of (s/and (s/tuple ::x ::y) kv-rel-holds?) :into {} :kind map?)

like that?

generator for that seems easier to make