law or2

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/blake/blake2s/bytes.bend:154

import Base

154law or2:
155  for +x: Bool
156  {Bool.or(Bool.or(x, False{}), False{}) == x : Bool}