type Elements

stelliferous@0.0.2.0 · math_sequence.bend:10

import Base

10type Elements<-Element: Data,-length: Nat> is Data:
11  Elements{head: Element,tail: Values(Element,length)}