def and_comm

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64sqw.bend:18

import Base

18def and_comm(+a: Bool, +b: Bool) -> {Bool.and(a, b) == Bool.and(b, a) : Bool}:
19  match a b:
20    case True{} True{}:
21      {==}
22    case True{} False{}:
23      {==}
24    case False{} True{}:
25      {==}
26    case False{} False{}:
27      {==}