law without

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/cache.bend as Cache

import Base

43law without:
44  for xs: List<&2, String>
45  for +key: String
46  List<&2, String>

Uses (4)