def release

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

import Base

66# Returns g's units to p. Kept hands back both unchanged when g names another
67# pool or holds more than p has reserved.
68def release(p: Pool, g: Grant) -> Release:
69  Pool{+o, c, +h} = p
70  Grant{+q, +n} = g
71  release.go(Nat.is_eq(o, q) && Nat.is_le(n, h), o, c, h, q, n)