Gateway.finish: def of bend-kit-gateway@0.3.0.0
Import: import bend-kit-gateway@0.3.0.0/gateway.bend as Gateway
Lines 124-127 of bend-kit-gateway@0.3.0.0/gateway.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-gateway@0.3.0.0/gateway.bend&start_line=124&end_line=127

import Base

# Stores what the fetch did and gives its unit back.
def finish(gate: Gate, p: Pending, u: Upstream) -> Finish:
  Gate{pool, held, cache} = gate
  give(pool, held, settle(cache, p, u))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-gateway@0.3.0.0/gateway.bend&name=Finish
  https://jend.leeeet.dev/definition.txt?path=bend-kit-gateway@0.3.0.0/gateway.bend&name=Gate
  https://jend.leeeet.dev/definition.txt?path=bend-kit-gateway@0.3.0.0/gateway.bend&name=Pending
  https://jend.leeeet.dev/definition.txt?path=bend-kit-gateway@0.3.0.0/gateway.bend&name=Upstream
  https://jend.leeeet.dev/definition.txt?path=bend-kit-gateway@0.3.0.0/gateway.bend&name=give
  https://jend.leeeet.dev/definition.txt?path=bend-kit-gateway@0.3.0.0/gateway.bend&name=settle