Url.encode: def of bend-kit-url@0.4.1.0
Import: import bend-kit-url@0.4.1.0/url.bend as Url
Lines 250-252 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=250&end_line=252

import Base

def encode(u: Url) -> String:
  Url{path, query} = u
  encode.go(pct.encode_path(path), enc.pairs(query))

Uses (5):
  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=Url
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=enc.pairs
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=encode.go
  https://jend.leeeet.dev/definition.txt?path=bend-kit-url@0.4.1.0/url.bend&name=pct.encode_path