law bit_go_preserves_key

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/map_bridge.bend:27

import Base

27law bit_go_preserves_key:
28  for key: String
29  for +character: Nat
30  for +offset: Nat
31  {routed_key(Map.bit.go(key, character, offset)) == key : String}