def encode

stelliferous@0.0.2.0 · tensor_file.bend:306

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile
import 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))

Uses (6)

Used by (1)