Resources.reserve: def of bend-kit-resources@0.1.0.0
Import: import bend-kit-resources@0.1.0.0/resources.bend as Resources
Lines 54-57 of bend-kit-resources@0.1.0.0/resources.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-resources@0.1.0.0/resources.bend&start_line=54&end_line=57

import Base

# Takes n units when they fit. Refused hands back the pool unchanged.
def reserve(p: Pool, +n: Nat) -> Reserve:
  Pool{o, +c, +h} = p
  reserve.go(Nat.is_le(Nat.add(h, n), c), o, c, h, n)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=bend-kit-resources@0.1.0.0/resources.bend&name=Pool
  https://jend.leeeet.dev/definition.txt?path=bend-kit-resources@0.1.0.0/resources.bend&name=Reserve
  https://jend.leeeet.dev/definition.txt?path=bend-kit-resources@0.1.0.0/resources.bend&name=reserve.go