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

import Base

# §3.1: a ":" before any "/", "?" or "#" with a valid scheme name before it.
def abs.has_scheme(+pre: String, colon: Bool) -> Bool:
  Bool.and(colon, Bool.and(Bool.not(String.is_empty(pre)), scheme.ok(pre)))

Uses (6):
  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=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=bend-net-url@0.4.0.0/url.bend&name=scheme.ok