def absorbed

stelliferous@0.0.2.0 · tensor_file.bend:83

import Base

83def absorbed(bytes: List<&2,U32>,file: File,target: Target,+count: U32) -> Reading:
84  match bytes:
85    case []: End{file,target,True{}}
86    case byte <> rest: More{file,fill(byte <> rest,target,count)}