List.Step: type of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/list.bend as List
Lines 10-14 of bend-lawful-stdlib@0.1.0.0/src/list.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/list.bend&start_line=10&end_line=14

import Base

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

Uses (0):