def or_true

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/u32int.bend:560

import Base

560def or_true(+x: Bool) -> {Bool.or(x, True{}) == True{} : Bool}:
561  match x:
562    case True{}:
563      {==}
564    case False{}:
565      {==}