type Position

stelliferous@0.0.2.0 · math_sequence.bend:22

import Base

22type Position<-length: Nat> is Data:
23  First{}
24  Next{index: Index(length)}