law or_self

bend-mathlib@0.8.1.0 · bool.bend:207

import Base

207# Or with itself: a or a is a.
208law or_self:
209  for a: Bool
210  {Bool.or(a, a) == a : Bool}