~/jendhub

def expected_append

bendtorch-core@0.1.0.0 · src/tensor/contracts/pointwise_proof.bend:34

import bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof.bend as PointwiseProof
import Base
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as StorageLaws

34def expected_append(+ops: List<&2, StorageLaws.Op>, +more: List<&2, StorageLaws.Op>, +n: Nat, +index: U32, +word: F32) ->
35  {StorageLaws.expected(List.append(&2, StorageLaws.Op, ops, more), n, index, word) ==
36    StorageLaws.expected(more, n, index, StorageLaws.expected(ops, n, index, word)) : F32}:
37  match ops:
38    case Nil{}:
39      {==}
40    case +op <> +rest:
41      expected_append(rest, more, n, index, StorageLaws.latest(n, op, index, word))

Uses (8)

Used by (1)