type Step

bend-lawful-stdlib@0.1.0.0 · src/list.bend:10

import Base

10# One step of reading a sequence: nothing left, or an element and the rest.
11# The quantity a is the rest's: &2 for a list, &1 for a linear queue.
12type Step<a, -A: Data, -S: Kind(a)> is Kind(a):
13  Stop{}
14  Next{x: A, rest: S}