Http.proxy.choose: def of bend-kit-http@0.38.4.0
Import: import bend-kit-http@0.38.4.0/http.bend as Http
Lines 3096-3101 of bend-kit-http@0.38.4.0/http.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.4.0/http.bend&start_line=3096&end_line=3101

import Base

def proxy.choose(bypass: Bool, value: String) -> Maybe<&2, Proxy>:
  match bypass:
    case True{}:
      Some{ProxyDirect{}}
    case False{}:
      proxy.from.env(value)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=bend-kit-http@0.38.4.0/http.bend&name=Proxy
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.4.0/http.bend&name=proxy.from.env