Gateway.begin.refund: def of bend-kit-gateway@0.3.0.0
Import: import bend-kit-gateway@0.3.0.0/gateway.bend as Gateway
Lines 75-81 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=75&end_line=81

import Base
import bend-kit-resources@0.1.0.0/resources.bend as Res
import bend-kit-cache@0.3.0.0/cache.bend as C

# The joined grant names another pool: give the new unit back and refuse.
def begin.refund(r: Res.Release, held: Res.Grant, cache: C.Cache<String>) -> Begin:
  match r:
    case Res.Released{pool}:
      Busy{Gate{pool, held, cache}}
    case Res.Kept{pool, one}:
      Busy{Gate{pool, held, cache}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cache@0.3.0.0/cache.bend&name=Cache
  https://jend.leeeet.dev/definition.txt?path=bend-kit-gateway@0.3.0.0/gateway.bend&name=Begin
  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-resources@0.1.0.0/resources.bend&name=Grant
  https://jend.leeeet.dev/definition.txt?path=bend-kit-resources@0.1.0.0/resources.bend&name=Release