Url.take.back: def of bend-net-url@0.4.0.0
Import: import bend-net-url@0.4.0.0/url.bend as Url
Lines 285-290 of bend-net-url@0.4.0.0/url.bend: https://jend.leeeet.dev/read.txt?path=bend-net-url@0.4.0.0/url.bend&start_line=285&end_line=290

import Base

def take.back(acc: String, rest: String) -> String & String:
  match acc:
    case SNil{}:
      (SNil{}, rest)
    case SCon{x, a2}:
      (String.reverse(a2), SCon{x, rest})

Uses (4):
  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.reverse