Url.frag.drop: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/url.bend as Url
Lines 86-88 of emerging-ezhttp@0.21.0.0/src/url.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&start_line=86&end_line=88

import Base

# everything before `#` (RFC 3986 §3.5). The fragment is not a request-target.
def frag.drop(s: String) -> String:
  frag.drop.of(String.split(s, '#'))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.split
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&name=frag.drop.of