~/jendhub

def fgrows

bendtorch@1.3.0.0 · main.bend:3019

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

3019def fgrows(left: Nat, +i: Nat, +m: Nat, +hd: Nat, +sc: F32, +ds: U32, +dc: U32, +vs: U32, +vc: U32, r: GR) -> GW:
3020  match left r:
3021    case 0n GR{d, v, A2{p, g}, n}:
3022      GW{d, v, p, g}
3023    case 1n+rest GR{d, v, A2{p, g}, n}:
3024      fgrows(rest, 1n+i, m, hd, sc, ds, dc, vs, vc, fgrow(1n+i, m, hd, sc, ds, dc, vs, vc, d, v, p, g))

Uses (7)

Used by (1)