def or_true_right

stelliferous@0.0.2.0 · proofs/boolean_logic.bend:75

import Base

75# Disjunction identities shared by coverage proofs.
76def or_true_right(+value: Bool) -> {value || True{} == True{} : Bool}:
77  match value:
78    case False{}: {==}
79    case True{}: {==}