def combine

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

import Base

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