def and_true

bend-collections-laws-math@1.0.0.0 · proofs/math/random/uint64n.bend:261

import Base

261def and_true(+b: Bool) -> {Bool.and(b, True{}) == b : Bool}:
262  match b:
263    case True{}:
264      {==}
265    case False{}:
266      {==}