~/jendhub

def release.go

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

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

59def release.go(ok: Bool, o: Nat, c: Nat, h: Nat, q: Nat, +n: Nat) -> Release:
60  match ok:
61    case True{}:
62      Released{Pool{o, c, Nat.sub(h, n)}}
63    case False{}:
64      Kept{Pool{o, c, h}, Grant{q, n}}

Uses (6)

Used by (1)