def or_t

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64round.bend:684

import Base

684def or_t(+b: Bool) -> {Bool.or(b, True{}) == True{} : Bool}:
685  match b:
686    case True{}:
687      {==}
688    case False{}:
689      {==}