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

import Base

def abs.ipv6.port(scheme: String, dflt: Maybe<&2, U32>, +host: String, suffix: String, rest: String) -> Maybe<&2, Abs>:
  match suffix:
    case SNil{}:
      abs.hostok(scheme, String.to_lower(host), dflt, rest, Bool.and(has(host, 58), abs.ipv6.chars(host)))
    case SCon{Chr{58}, ps}:
      abs.hostok(scheme, String.to_lower(host), abs.port(ps, dflt), rest, Bool.and(has(host, 58), abs.ipv6.chars(host)))
    case SCon{Chr{c}, t}:
      None{}

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=String.to_lower
  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.hostok
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=abs.ipv6.chars
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=abs.port
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=has