def or_true

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/u64int.bend:561

import Base

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