def or_r

minebender-game@1.0.0.0 · proof_solver.bend:1941

import Base
import minebender-game@1.0.0.0/proof_cells.bend as PS

1941def or_r(+a: Bool, +b: Bool, e: {b == True{} : Bool}) -> {Bool.or(a, b) == True{} : Bool}:
1942  %Equal.sym(Bool, b, True{}, e) : {Bool.or(a, _) == True{} : Bool}
1943  PS.or_true_r(a)