Hairpin.Opts: type of bend-kit-hairpin@0.13.0.1 Import: import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin Lines 10-13 of bend-kit-hairpin@0.13.0.1/hairpin.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-hairpin@0.13.0.1/hairpin.bend&start_line=10&end_line=13 import Base import bend-kit-http@0.38.1.1/http.bend as Http import bend-kit-retry@0.2.0.0/retry.bend as Retry # base: "" for none. headers: lowercase names. ms: the step timeout. policy: attempts, backoff, and deadline of each request. # ca: a PEM CA file to trust; "" trusts the default store. type Opts is Data: Opts{base: String, headers: Map<&2, List<&2, String>>, ms: U32, mode: Http.Mode, policy: Retry.Policy, cert: Maybe<&2, Http.Cert>, ca: String} Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map 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=U32 https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Cert https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/http.bend&name=Mode https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Policy