~/jendhub

def history

bendtorch-core@0.1.0.0 · src/tensor/contracts/matmul_parallel_proof.bend:402

import bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof.bend as MatmulParallelProof
import 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
import bendtorch-core@0.1.0.0/src/tensor/contracts/binary_storage_proof.bend as Owned
import bendtorch-core@0.1.0.0/src/storage/api.bend as Api

402# The copy the build reads of a replayed input in normal form: the Second
403# half of the clone of the array its normalized history makes.
404def history(+shape: Shape.Shape, +ops: List<&2, StorageLaws.Op>) -> List<&2, Api.Effect>:
405  Api.Right{} <> Owned.norm(U32.to_nat(Shape.count(shape)), ops, Nil{})

Uses (7)

Used by (6)