def axis_choice.left_one

bendtorch-core@0.1.0.0 · src/shape/core.bend:738

import bendtorch-core@0.1.0.0/src/shape/core.bend as Core

import Base

738def axis_choice.left_one(+left: U32, +right: U32, one: BoolCase<Nat.is_eq(1n, U32.to_nat(left))>) -> AxisChoice<left, right>:
739  match one:
740    case BFalse{equal}:
741      axis_choice.right_one(left, right, bool_case(Nat.is_eq(1n, U32.to_nat(right))))
742    case BTrue{equal}:
743      Picks{right, AxisLeftOne{equal_from(1n, U32.to_nat(left), equal), {==}}}

Uses (9)

Used by (2)