def slice

bend-lint-api@0.2.0.0 · shared/strings.bend:14

import Base

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