def and_true

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/top.bend:216

import Base

216def and_true(+b: Bool) -> {Bool.and(b, True{}) == b : Bool}:
217  match b:
218    case True{}:
219      {==}
220    case False{}:
221      {==}