def unflatten.step

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

import Base

155def unflatten.step(-head: Nat, -tail: List<&2, Nat>, rec: Fin(numel(tail)) -> Coordinate(tail), coordinate: Fin(head) & Fin(numel(tail))) -> Coordinate(head <> tail):
156  (first, rest) = coordinate
157  CStep{first, rec(rest)}