def axis_choice.right_one

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

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

import Base

731def axis_choice.right_one(+left: U32, +right: U32, one: BoolCase<Nat.is_eq(1n, U32.to_nat(right))>) -> AxisChoice<left, right>:
732  match one:
733    case BFalse{equal}:
734      Clashes{}
735    case BTrue{equal}:
736      Picks{left, AxisRightOne{{==}, equal_from(1n, U32.to_nat(right), equal)}}

Uses (7)

Used by (2)