def or_true_r

minebender-game@1.0.0.0 · proof_cells.bend:84

import Base

84def or_true_r(+a: Bool) -> {Bool.or(a, True{}) == True{} : Bool}:
85  match a:
86    case True{}:
87      {==}
88    case False{}:
89      {==}