Strings.line_end: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/shared/strings.bend as Strings
Lines 46-48 of bend-lint-api@0.2.0.0/shared/strings.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/shared/strings.bend&start_line=46&end_line=48

import Base

# Where the line of `text` that starts at `beg` ends: after its newline, or at the end of the text.
def line_end(text: String, +beg: U32) -> U32:
  line_end.go(String.drop(text, U32.to_nat(beg)), beg)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  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=bend-lint-api@0.2.0.0/shared/strings.bend&name=line_end.go