def expected
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as LAWSimport Base
155def expected(ops: List<&2, Op>, +n: Nat, +j: U32, value: F32) -> F32:
156 match ops:
157 case Nil{}:
158 value
159 case op <> rest:
160 expected(rest, n, j, latest(n, op, j, value))
Uses (6)
Used by (15)
- bendtorch-core@0.1.0.0/src/tensor/contracts/replayed:value
- bendtorch-core@0.1.0.0/src/storage/LAWS:replay_get
- bendtorch-core@0.1.0.0/src/tensor/contracts/replayed:expected_snoc
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof:value_reads
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_storage_proof:norm_current
- …