~/jendhub

def expected_snoc

bendtorch-core@0.1.0.0 · src/tensor/contracts/replayed.bend:215

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

215def expected_snoc(+ops: List<&2, StorageLaws.Op>, +op: StorageLaws.Op, +n: Nat, +index: U32, +word: F32) ->
216  {StorageLaws.expected(snoc(ops, op), n, index, word) == StorageLaws.latest(n, op, index, StorageLaws.expected(ops, n, index, word)) : F32}:
217  match ops:
218    case Nil{}:
219      {==}
220    case +first <> +rest:
221      expected_snoc(rest, op, n, index, StorageLaws.latest(n, first, index, word))

Uses (8)

Used by (12)