def close

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

import Base

38# a run that ends at column i holds col when start <= col <= i, unless one already did
39def close(+ii: U32, +start: U32, run: List<&2, Char>, hit: Maybe<&2, String>, +col: U32) -> Maybe<&2, String>:
40  match hit:
41    case Some{s}:
42      Some{s}
43    case None{}:
44      close.run(run, start, ii, col, None{})