Word.before: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/word.bend as Word
Lines 153-157 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=153&end_line=157

import Base

# the name that ends at (line, col): what is being typed, for completion
def before(source: String, line: U32, col: U32) -> String:
  text(run_of(List.reverse(&2, Char, String.to_list(String.take(
    Maybe.default(&2, String, List.get(&2, String, String.lines(source), U32.to_nat(line)), ""),
    U32.to_nat(col))))))

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.lines
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.to_list
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/word.bend&name=run_of
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/word.bend&name=text