Admission.lease.took: def of bend-kit-http@0.38.2.0
Import: import bend-kit-http@0.38.2.0/admission.bend as Admission
Lines 56-61 of bend-kit-http@0.38.2.0/admission.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-http@0.38.2.0/admission.bend&start_line=56&end_line=61

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

def lease.took(reserved: Res.Reserve, held: Res.Grant) -> Taken:
  match reserved:
    case Res.Took{pool, grant}:
      lease.joined(Res.combine(held, grant), pool)
    case Res.Refused{pool}:
      Full{Lease{pool, held}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=Lease
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=Taken
  https://jend.leeeet.dev/definition.txt?path=bend-kit-http@0.38.2.0/admission.bend&name=lease.joined
  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=Reserve
  https://jend.leeeet.dev/definition.txt?path=bend-kit-resources@0.1.0.0/resources.bend&name=combine