TensorAccess.copy_run: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_access.bend as TensorAccess
Lines 85-91 of stelliferous@0.0.2.0/tensor_access.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_access.bend&start_line=85&end_line=91

import Base
import stelliferous@0.0.2.0/tensor_view.bend as Views
import stelliferous@0.0.2.0/traversal_array.bend as Traversal
import stelliferous@0.0.2.0/tensor_cursor.bend as Cursor

def copy_run(~Element: Data,contiguous: Bool,count: Nat,source: Views.View,destination: U32,
  input: Array<Element>,output: Array<Element>) -> Array<Element> & Array<Element>:
  match contiguous:
    case True{}:
      Views.View{axes,offset} = source
      Traversal.copy(~Element,count,offset,destination,input,output)
    case False{}: copy_strided(~Element,count,Cursor.prepare(source),destination,input,output)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_access.bend&name=copy_strided
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_cursor.bend&name=prepare
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_view.bend&name=View
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=copy