type Coordinate.Step

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

import Base

137type Coordinate.Step<-head: Nat, -tail: List<&2, Nat>> is Data:
138  CStep{index: Fin(head), rest: Coordinate(tail)}