TensorFile.encode: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_file.bend as TensorFile
Lines 306-310 of stelliferous@0.0.2.0/tensor_file.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_file.bend&start_line=306&end_line=310

import Base

def encode(count: Nat,values: List<&2,F32>) -> List<&2,U32>:
  match count values:
    case 0n values: []
    case 1n+rest Nil{}: []
    case 1n+rest Con{value,more}: bytes(to_bits(value),encode(rest,more))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_file.bend&name=bytes
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_file.bend&name=to_bits