def replace_at

mlbend-preprocess@0.1.0.0 · main.bend:251

import mlbend-preprocess@0.1.0.0/main.bend as MlbendPreprocess
import Base

251# A list with its nth element replaced.
252def replace_at(+xs: List<&2, F32>, n: Nat, v: F32) -> List<&2, F32>:
253  replace_at_go(xs, n, v, Nil{})

Uses (4)

Used by (1)