law bit_eq

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/subtle/word.bend:101

import Base

101law bit_eq:
102  for +x: Bool
103  for +y: Bool
104  for +h: {Cmp.is_eq(Bool.cmp(x, y)) == True{} : Bool}
105  {x == y : Bool}