def value
import bendtorch-core@0.1.0.0/src/tensor/contracts/replayed.bend as Replayedimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as StorageLaws
19def value(+shape: Shape.Shape, +fill: F32, +ops: List<&2, StorageLaws.Op>, +index: U32) -> F32:
20 StorageLaws.expected(ops, U32.to_nat(Shape.count(shape)), index, fill)
Uses (8)
Used by (160)
- bendtorch-core@0.1.0.0/src/tensor/contracts/LAWS:words
- bendtorch-core@0.1.0.0/src/tensor/contracts/LAWS:product_factors
- bendtorch-core@0.1.0.0/src/tensor/contracts/LAWS:factors
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof:replayed_point
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:source_read
- …