law or_comm

bend-mathlib@0.8.1.0 · bool.bend:33

import Base

33# Boolean or is commutative.
34law or_comm:
35  for a: Bool
36  for b: Bool
37  {Bool.or(a, b) == Bool.or(b, a) : Bool}