~/jendhub

def available

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

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

42# The units that a reserve can still take.
43def available(p: Pool) -> Nat:
44  Pool{o, c, h} = p
45  Nat.sub(c, h)

Uses (3)

Used by (0)

No other definition uses this definition.