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

import Base

def abs.ipv6.auth(+scheme: String, host: String, rest: String, closed: Bool) -> Maybe<&2, Abs>:
  match closed:
    case False{}:
      None{}
    case True{}:
      abs.ipv6.split(scheme, default_port(scheme), take_to(host, 93), 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-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.ipv6.split
  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=take_to