~/jendhub

def append_part

stelliferous@0.0.2.0 · tensor_layout.bend:322

import stelliferous@0.0.2.0/tensor_layout.bend as TensorLayout
import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors

322def append_part(~Element: Data,+axis: U32,state: Tensors.Tensor<Element> & U32,part: Tensors.Tensor<Element>) -> Tensors.Tensor<Element> & U32:
323  (output,start) = state
324  append_at(~Element,axis,start,output,part)

Uses (5)

Used by (1)