~/jendhub

def reserved

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

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

38def reserved(p: Pool) -> Nat:
39  Pool{o, c, h} = p
40  h

Uses (2)

Used by (2)