def and_right

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

import Base
import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle

26def and_right(a: Bool, -b: Bool, equal: {True{} == Bool.and(a, b) : Bool}) -> {True{} == b : Bool}:
27  match a:
28    case False{}:
29      Empty.absurd({True{} == b : Bool}, Lifecycle.false_true(equal))
30    case True{}:
31      equal