def and_swap

bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:215

import Base

215def and_swap(+a: Bool, +b: Bool, +c: Bool) -> {Bool.and(a, Bool.and(b, c)) == Bool.and(b, Bool.and(a, c)) : Bool}:
216  match a b:
217    case False{} False{}:
218      {==}
219    case False{} True{}:
220      {==}
221    case True{} False{}:
222      {==}
223    case True{} True{}:
224      {==}