def taken
import stelliferous@0.0.2.0/tensor_file.bend as TensorFileimport Base
93def taken(read: Read(),target: Target,+count: U32) -> Reading:
94 (file,result) = read
95 received(result,file,target,count)
import stelliferous@0.0.2.0/tensor_file.bend as TensorFileimport Base
93def taken(read: Read(),target: Target,+count: U32) -> Reading:
94 (file,result) = read
95 received(result,file,target,count)