def axis_choice

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

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

import Base

752def axis_choice(+left: U32, +right: U32) -> AxisChoice<left, right>:
753  axis_choice.equal(left, right, bool_case(Nat.is_eq(U32.to_nat(left), U32.to_nat(right))))

Uses (6)

Used by (3)