law and_true

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

import Base

8law and_true:
9  for +b: Bool
10  {Bool.and(b, True{}) == b : Bool}