def next.fin

bend-kit-csv@0.3.0.0 · csv.bend:174

import bend-kit-csv@0.3.0.0/csv.bend as Csv
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

174def next.fin(+len: U32, +at: U32, r: Array<U32> & List<&1, Bytes.Bytes>) -> Next:
175  (a, fs) = r
176  Row{fs, Cur{Bytes.Bytes{len, a}, at}}

Uses (8)

Used by (1)