law recursive_bit_key

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/lemmas/proofs/map_bridge.bend:18

import Base

18law recursive_bit_key:
19  for c: Char
20  for r: String & Bool
21  {routed_key(Map.bit.go.rec(c, r)) == SCon{c, routed_key(r)} : String}