~/jendhub

def align.finish

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

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

759def align.finish(-lh: U32, -lt: List<&2, U32>, -rh: U32, -rt: List<&2, U32>, output: U32, axis: Axis<U32.to_nat(lh), U32.to_nat(rh), U32.to_nat(output)>, rest: Alignment<lt, rt>) -> Alignment<lh <> lt, rh <> rt>:
760  match rest:
761    case Misaligned{}:
762      Misaligned{}
763    case Aligns{tail, aligned}:
764      Aligns{output <> tail, AStep{axis, aligned}}

Uses (6)

Used by (1)