def trickle

stelliferous@0.0.2.0 · tensor_file.bend:56

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

56def trickle(bytes: List<&2,U32>,words: Words) -> Words:
57  match bytes:
58    case []: words
59    case byte <> rest: trickle(rest,push(byte,words))

Uses (4)

Used by (2)