def snoc
import bendtorch-core@0.1.0.0/src/tensor/contracts/replayed.bend as Replayedimport Base
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as StorageLaws
22def snoc(+ops: List<&2, StorageLaws.Op>, +op: StorageLaws.Op) -> List<&2, StorageLaws.Op>:
23 List.append(&2, StorageLaws.Op, ops, [op])
Uses (3)
Used by (50)
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise:reads
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise:writes
- bendtorch-core@0.1.0.0/src/tensor/contracts/replayed:expected_snoc
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof:writes
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:writes
- …