law true_or

bend-mathlib@0.8.1.0 · bool.bend:150

import Base

150# True absorbs or on the left: true or a is true.
151law true_or:
152  for -a: Bool
153  {Bool.or(True{}, a) == True{} : Bool}