Resources.release: def of bend-kit-resources@0.1.0.0
Import: import bend-kit-resources@0.1.0.0/resources.bend as Resources
Lines 66-71 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=66&end_line=71

import Base

# Returns g's units to p. Kept hands back both unchanged when g names another
# pool or holds more than p has reserved.
def release(p: Pool, g: Grant) -> Release:
  Pool{+o, c, +h} = p
  Grant{+q, +n} = g
  release.go(Nat.is_eq(o, q) && Nat.is_le(n, h), o, c, h, q, n)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  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=Grant
  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=Release
  https://jend.leeeet.dev/definition.txt?path=bend-kit-resources@0.1.0.0/resources.bend&name=release.go