Url.take.cut: def of bend-kit-url@0.4.1.0
Import: import bend-kit-url@0.4.1.0/url.bend as Url
Lines 147-149 of bend-kit-url@0.4.1.0/url.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-url@0.4.1.0/url.bend&start_line=147&end_line=149

import Base

# Bool.pick evaluates both arms; a split that recursed inside it would reverse acc at every byte.
def take.cut(acc: String, rest: String) -> String & String:
  (String.reverse(String.drop(acc, 1n)), rest)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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=String.reverse