def drop_l
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
1247def drop_l(nleft: Nat, +i: U32, +key: U32, +p: F32, +scale: F32, a: Array<F32>) -> Array<F32>:
1248 match nleft:
1249 case 0n:
1250 a
1251 case 1n+q:
1252 drop_l(q, (i + 1 : U32), key, p, scale, Array.set(F32, a, i, drop_k(key, i, p, scale)))