type Aligned.Step

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

import Base

234type Aligned.Step<-lh: Nat, -lt: List<&2, Nat>, -rh: Nat, -rt: List<&2, Nat>, -oh: Nat, -ot: List<&2, Nat>> is Data:
235  AStep{axis: Axis<lh, rh, oh>, tail: Aligned(lt, rt, ot)}