~/jendhub

def next.if

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

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

186def next.if(more: Bool, +len: U32, buf: Array<U32>, +at: U32) -> Next:
187  match more:
188    case False{}:
189      End{}
190    case True{}:
191      next.row(len, rec.go(U32.to_nat((len - at + 1 : U32)), SStart{}, pk(buf, len, at), len, at, at, False{}, Nil{}))

Uses (12)

Used by (1)