def fill_u

bendtorch@1.3.0.0 · dtype.bend:173

import Base

173def fill_u(xs: List<&2, U32>, +i: U32, a: Array<U32>) -> Array<U32>:
174  match xs:
175    case Nil{}:
176      a
177    case Con{h, t}:
178      fill_u(t, (i + 1 : U32), Array.set(U32, a, i, h))