def writes

bendtorch-core@0.1.0.0 · src/tensor/from_values_contract.bend:18

import Base
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as StorageLaws

18def writes(values: List<&2, F32>, +cursor: Nat) -> List<&2, StorageLaws.Op>:
19  match values:
20    case Nil{}:
21      Nil{}
22    case value <> rest:
23      StorageLaws.Write{U32.from_nat(cursor), value} <> writes(rest, 1n+cursor)