def push
import stelliferous@0.0.2.0/tensor_file.bend as TensorFileimport Base
52def push(+byte: U32,words: Words) -> Words:
53 Words{values,+count,+word,+weight} = words
54 gather(U32.is_eq(weight,16777216),values,count,(word + byte * weight : U32),weight)