def arr
import bendtorch-core@0.1.0.0/src/storage/api.bend as Apiimport Base
286def arr(+history: List<&2, Effect>, +d: Nat, +fill: F32) -> Array<F32>:
287 match history:
288 case Nil{}:
289 Array.new(F32, d, fill)
290 case +effect <> +past:
291 grow(arr(past, d, fill), effect)
Uses (7)
Used by (111)
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_build_proof:got_kept
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:TreeEq
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:source_read
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_build_proof:TreeEq
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof:TreeEq
- …