def tail.walk

ezx@1.11.0.0 · src/ez/quiet.bend:74

import Base

74# the fold from the right, written out. Base's List.foldr takes its step as an
75# erased argument, and the termination check cannot read through one.
76def tail.walk(ls: List<&2, String>) -> Tail:
77  match ls:
78    case []:
79      Tail{False{}, []}
80    case h <> t:
81      tail.step(h, tail.walk(t))