def foreign.gap.at
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
222# the rest of a line, past one character that may be skipped
223def foreign.gap.at(skip: Bool, head: Char, tail: String, rest: Unit -> String) -> String:
224 match skip:
225 case True{}:
226 rest(Unit{})
227 case False{}:
228 SCon{head, tail}