def align.step

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

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

import Base

766def align.step(-lh: U32, -lt: List<&2, U32>, -rh: U32, -rt: List<&2, U32>, rest: Alignment<lt, rt>, choice: AxisChoice<lh, rh>) -> Alignment<lh <> lt, rh <> rt>:
767  match choice:
768    case Clashes{}:
769      Misaligned{}
770    case Picks{output, axis}:
771      align.finish(lh, lt, rh, rt, output, axis, rest)

Uses (5)

Used by (2)