def combine.go

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

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

import Base

85def combine.go(same: Bool, o: Nat, a: Nat, q: Nat, b: Nat) -> Combine:
86  match same:
87    case True{}:
88      Joined{Grant{o, Nat.add(a, b)}}
89    case False{}:
90      Apart{Grant{o, a}, Grant{q, b}}

Uses (5)

Used by (1)

bend-kit-resources@0.1.0.0/resources:combine