~/jendhub

def split.go

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

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

73def split.go(fits: Bool, +o: Nat, +a: Nat, +n: Nat) -> Split:
74  match fits:
75    case True{}:
76      Parts{Grant{o, n}, Grant{o, Nat.sub(a, n)}}
77    case False{}:
78      Whole{Grant{o, a}}

Uses (5)

Used by (1)