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

import Base

def abs.auth(scheme: String, ar: String & String) -> Maybe<&2, Abs>:
  (+auth, rest) = ar
  abs.auth.if(scheme, auth, rest, has(auth, 64))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=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.auth.if
  https://jend.leeeet.dev/definition.txt?path=bend-net-url@0.4.0.0/url.bend&name=has