law bits_or

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

import Base

59law bits_or:
60  for +a: Bool
61  for +b: Bool
62  for +x: Bool
63  for +y: Bool
64  {Bool.and(Bool.and(a, b), Cmp.is_eq(Bool.cmp(Bool.or(x, y), False{}))) ==
65    Bool.and(Bool.and(a, Cmp.is_eq(Bool.cmp(x, False{}))), Bool.and(b, Cmp.is_eq(Bool.cmp(y, False{})))) : Bool}