def or_l

minebender-game@1.0.0.0 · proof_solver.bend:1937

import Base

1937def or_l(+a: Bool, +b: Bool, e: {a == True{} : Bool}) -> {Bool.or(a, b) == True{} : Bool}:
1938  %Equal.sym(Bool, a, True{}, e) : {Bool.or(_, b) == True{} : Bool}
1939  {==}