def and_true

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/u32.bend:186

import Base

186def and_true(+b: Bool) -> {Bool.and(b, True{}) == b : Bool}:
187  match b:
188    case False{}:
189      {==}
190    case True{}:
191      {==}