def or_false

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/aes/ghash_bits.bend:106

import Base

106def or_false(+x: Bool) -> {Bool.or(x, False{}) == x : Bool}:
107  match x:
108    case True{}:
109      {==}
110    case False{}:
111      {==}