def nl.step
import ezx@1.11.0.0/src/pub/blurb.bend as Blurbimport Base
18# one step of a scan for a newline, with the head's answer in hand; the rest
19# arrives as a thunk, so the first newline ends the scan
20def nl.step(here: Bool, rest: Unit -> Bool) -> Bool:
21 match here:
22 case True{}:
23 True{}
24 case False{}:
25 rest(Unit{})