def encode
import stelliferous@0.0.2.0/tensor_file.bend as TensorFileimport Base
306def encode(count: Nat,values: List<&2,F32>) -> List<&2,U32>:
307 match count values:
308 case 0n values: []
309 case 1n+rest Nil{}: []
310 case 1n+rest Con{value,more}: bytes(to_bits(value),encode(rest,more))