def internal_bool_or_comm

bend-mathlib@0.8.1.0 · algebra.bend:115

import Base
import bend-mathlib@0.8.1.0/bool.bend as MBool

115def internal_bool_or_comm(x: Bool, y: Bool) -> {Bool.or(x, y) == Bool.or(y, x) : Bool}:
116  MBool.or_comm(x, y)