law bit_refl

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

import Base

118law bit_refl:
119  for +k: Bool
120  for +x: Bool
121  {Bool.and(k, Cmp.is_eq(Bool.cmp(x, x))) == k : Bool}