def and_true_r

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/random/bytes.bend:155

import Base

155def and_true_r(+b: Bool) -> {Bool.and(b, True{}) == b : Bool}:
156  match b:
157    case True{}:
158      {==}
159    case False{}:
160      {==}