def ids_arr

bendtorch-gpu@1.3.0.0 · main.bend:1239

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

1239def ids_arr(+n: Nat, ids: List<&2, Nat>) -> IA:
1240  ia_go(n, ids, 0, 0n, T.zeros_a(n))