def and_comm

bendtorch@1.3.0.0 · PROOF.bend:893

import Base

893def and_comm(+a: Bool, +b: Bool) -> {Bool.and(a, b) == Bool.and(b, a) : Bool}:
894  match a b:
895    case True{} True{}:
896      {==}
897    case True{} False{}:
898      {==}
899    case False{} True{}:
900      {==}
901    case False{} False{}:
902      {==}