def clone_second_length

bendtorch-core@0.1.0.0 · src/tensor/lifecycle.bend:95

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

95def clone_second_length(storage: Storage.Storage) ->
96  {second_length(Storage.clone(storage)) == logical_length(storage) : Nat}:
97  match storage:
98    case Storage.Empty{}:
99      {==}
100    case Storage.Owned{+d, +n, array, balanced, valid}:
101      finish_clone_second(d, n, array, Array.clone(F32, array), {==}, balanced, valid)