Url.abs.auth.addr: def of bend-kit-url@0.4.1.0
Import: import bend-kit-url@0.4.1.0/url.bend as Url
Lines 382-389 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=382&end_line=389

import Base

def abs.auth.addr(auth: String, +scheme: String, rest: String) -> Maybe<&2, Abs>:
  match auth:
    case SCon{Chr{91}, +host}:
      abs.ipv6.auth(scheme, host, rest, has(host, 93))
    case SNil{}:
      None{}
    case SCon{Chr{c}, tail}:
      abs.hostport(scheme, default_port(scheme), take_to(SCon{Chr{c}, tail}, 58), rest)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=Abs
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=abs.hostport
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=abs.ipv6.auth
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=default_port
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=has
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=take_to