type Level

stelliferous@0.0.2.0 · tensor_cursor.bend:25

import Base

25# A level with no remaining count never moves; it stands for an absent axis.
26type Level<-Rest: Data> is Data:
27  Level{axis: Axis,rest: Rest}