def lease.take
import bend-kit-http@0.38.2.0/admission.bend as Admissionimport Base
import bend-kit-resources@0.1.0.0/resources.bend as Res
63def lease.take(lease: Lease) -> Taken:
64 Lease{pool, held} = lease
65 lease.took(Res.reserve(pool, 1n), held)