Url.abs.auth.if: def of bend-net-url@0.4.0.0
Import: import bend-net-url@0.4.0.0/url.bend as Url
Lines 349-355 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=349&end_line=355

import Base

# WHATWG fetch refuses URLs that carry credentials (user:pass@).
def abs.auth.if(+scheme: String, auth: String, rest: String, creds: Bool) -> Maybe<&2, Abs>:
  match creds:
    case True{}:
      None{}
    case False{}:
      abs.hostport(scheme, default_port(scheme), take_to(auth, 58), rest)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-net-url@0.4.0.0/url.bend&name=Abs
  https://jend.leeeet.dev/definition.txt?path=bend-net-url@0.4.0.0/url.bend&name=abs.hostport
  https://jend.leeeet.dev/definition.txt?path=bend-net-url@0.4.0.0/url.bend&name=default_port
  https://jend.leeeet.dev/definition.txt?path=bend-net-url@0.4.0.0/url.bend&name=take_to