def at.skip.done

bolt@1.27.0.0 · src/syntax/word.bend:73

import Base

73# the next char starts the wanted line when this one was its preceding newline
74def at.skip.done(nl: Bool, nn: U32) -> Bool:
75  match nl:
76    case True{}:
77      U32.is_eq(nn, 1)
78    case False{}:
79      False{}