src/tensor/clone_metadata_contract_PROOF.bend

bendtorch-core@0.1.0.0 · 13 lines · 0 definitions

1import Base
2import bendtorch-core@0.1.0.0/src/tensor/clone_metadata_contract_LAWS.bend as Laws
3import bendtorch-core@0.1.0.0/src/tensor/clone_contract.bend as Clones
4import bendtorch-core@0.1.0.0/src/tensor/metadata_contract.bend as Metadata
5
6def Laws.clone_contract(shape, fill):
7  Clones.clone_contract(shape, fill)
8
9def Laws.clone_write(shape, fill, index, value, inside):
10  Clones.clone_write(shape, fill, index, value, inside)
11
12def Laws.metadata_contract(shape, fill):
13  Metadata.metadata_contract(shape, fill)