type Pool

bend-kit-resources@0.1.0.0 · resources.bend:4

import Base

4# A pool of `capacity` units, `held` of them reserved. `owner` names the pool,
5# so a reservation cannot return to a different pool.
6type Pool is Data:
7  Pool{owner: Nat, capacity: Nat, held: Nat}