Url.auth.last: def of ezhttp@0.22.0.0
Import: import ezhttp@0.22.0.0/src/url.bend as Url
Lines 70-72 of ezhttp@0.22.0.0/src/url.bend: https://jend.leeeet.dev/read.txt?path=ezhttp@0.22.0.0/src/url.bend&start_line=70&end_line=72

import Base

# the last `@`-separated piece (the hostport). Earlier pieces are userinfo.
def auth.last(ps: List<&2, String>) -> String:
  auth.last.of(List.last(&2, String, ps))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.last
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezhttp@0.22.0.0/src/url.bend&name=auth.last.of