def lease.split

bend-kit-http@0.38.2.0 · admission.bend:74

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

74def lease.split(parts: Res.Split, pool: Res.Pool) -> Maybe<&1, Lease>:
75  match parts:
76    case Res.Parts{one, rest}:
77      lease.released(Res.release(pool, one), rest)
78    case Res.Whole{grant}:
79      None{}