law keys_size

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/proofs/native_map.bend:512

import Base

512law keys_size:
513  for -V: Data
514  for +m: Map<&2, V>
515  {List.length(&2, String, Map.keys(&2, V, m)) == Map.size(&2, V, m) : Nat}