~/jendhub

def prepend_survey

stelliferous@0.0.2.0 · tensor_layout.bend:294

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

294def prepend_survey(~Element: Data,tensor: Tensors.Tensor<Element>,result: Tensors.Parts<Element> & Survey) -> Tensors.Parts<Element> & Survey:
295  (rest,summary) = result
296  (Tensors.Cons{tensor,rest},summary)

Uses (5)

Used by (1)