Strings.slice: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/shared/strings.bend as Strings
Lines 14-16 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=14&end_line=16

import Base

# The text of `text` from `beg` to `end`, in code points.
def slice(text: String, +beg: U32, end: U32) -> String:
  take(String.drop(text, U32.to_nat(beg)), U32.to_nat((end - beg: U32)))

Uses (6):
  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.sub
  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=take