def and_comm

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64divn.bend:47

import Base

47def and_comm(+a: Bool, +b: Bool) -> {Bool.and(a, b) == Bool.and(b, a) : Bool}:
48  match a b:
49    case True{} True{}:
50      {==}
51    case True{} False{}:
52      {==}
53    case False{} True{}:
54      {==}
55    case False{} False{}:
56      {==}