def lease.give
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
81def lease.give(lease: Lease) -> Maybe<&1, Lease>:
82 Lease{pool, held} = lease
83 lease.split(Res.split(held, 1n), pool)