~/jendhub

def lease.open

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

import bend-kit-http@0.38.2.0/admission.bend as Admission
import Base
import bend-kit-resources@0.1.0.0/resources.bend as Res

42def lease.open(+owner: Nat, capacity: U32) -> Lease:
43  Lease{Res.new(owner, U32.to_nat(capacity)), Res.Grant{owner, 0n}}

Uses (6)

Used by (1)