src/tensor/from_values_contract_PROOF.bend
1import Base
2import bendtorch-core@0.1.0.0/src/tensor/from_values_contract_LAWS.bend as Laws
3import bendtorch-core@0.1.0.0/src/tensor/from_values_contract.bend as FromValues
4
5def Laws.from_values_contract(shape, values, counted):
6 FromValues.from_values_contract(shape, values, counted)