def Flat.scale.go
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
1829def Flat.scale.go(n: Nat, +k: F32, +i: U32, a: Array<F32>) -> Array<F32>:
1830 match n:
1831 case 0n:
1832 a
1833 case 1n+p:
1834 Flat.scale.go(p, k, (i + 1 : U32), Flat.scale.step(k, i, Array.get(F32, a, i)))