src/tensor/contracts/binary_PROOF.bend

bendtorch-core@0.1.0.0 · 10 lines · 0 definitions

1import Base
2import bendtorch-core@0.1.0.0/src/shape/PROOF.bend as ShapeProof
3import bendtorch-core@0.1.0.0/src/storage/PROOF.bend as StorageProof
4import bendtorch-core@0.1.0.0/src/tensor/contracts/PROOF.bend as ContractsProof
5import bendtorch-core@0.1.0.0/src/tensor/contracts/binary_LAWS.bend as Laws
6import bendtorch-core@0.1.0.0/src/tensor/contracts/binary_proofs.bend as Proof
7
8def Laws.binary_replayed(operation, left, right, plan, planned, left_fill, left_ops, left_fits, right_fill, right_ops, right_fits, P, h):
9  +planned = planned
10  Proof.binary_replayed(operation, plan, left, left_fill, left_ops, right, right_fill, right_ops, planned, P, h)(left_fits, right_fits)