def fill

stelliferous@0.0.2.0 · tensor_file.bend:79

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

79def fill(bytes: List<&2,U32>,target: Target,+count: U32) -> Target:
80  Target{buffer,+found,+word,+weight} = target
81  placed(words(U32.is_eq(weight,1),bytes,word,weight),buffer,found,count)

Uses (6)

Used by (2)