Word.close: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/syntax/word.bend as Word Lines 38-44 of bolt@1.27.0.0/src/syntax/word.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/word.bend&start_line=38&end_line=44 import Base # a run that ends at column i holds col when start <= col <= i, unless one already did def close(+ii: U32, +start: U32, run: List<&2, Char>, hit: Maybe<&2, String>, +col: U32) -> Maybe<&2, String>: match hit: case Some{s}: Some{s} case None{}: close.run(run, start, ii, col, None{}) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/word.bend&name=close.run