~/jendhub

def reserve.go

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

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

47def reserve.go(fits: Bool, +o: Nat, c: Nat, h: Nat, +n: Nat) -> Reserve:
48  match fits:
49    case True{}:
50      Took{Pool{o, c, Nat.add(h, n)}, Grant{o, n}}
51    case False{}:
52      Refused{Pool{o, c, h}}

Uses (6)

Used by (1)