def dec.lead

bend-kit-regex@0.8.0.0 · regex.bend:1365

import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base

1365def dec.lead(ascii: Bool, +len: U32, +i: U32, +b0: U32, a: Array<U32>) -> Array<U32> & Dc:
1366  match ascii:
1367    case True{}:
1368      (a, Dc{b0, 1})
1369    case False{}:
1370      dec.b1(len, i, b0, pk(a, len, (i + 1 : U32)))

Uses (9)

Used by (1)