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

import Base

# Joins two grants of one pool. Apart hands back both when their pools differ.
def combine(x: Grant, y: Grant) -> Combine:
  Grant{+o, a} = x
  Grant{+q, b} = y
  combine.go(Nat.is_eq(o, q), o, a, q, b)

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