def and_left

bendtorch-core@0.1.0.0 · src/tensor/permutation_mapping.bend:19

import Base

19def and_left(a: Bool, -b: Bool, equal: {True{} == Bool.and(a, b) : Bool}) -> {True{} == a : Bool}:
20  match a:
21    case False{}:
22      equal
23    case True{}:
24      {==}