def word.go

bend-kit-json@0.7.0.0 · json.bend:230

import bend-kit-json@0.7.0.0/json.bend as Json

import Base

230def word.go(w: String, ok: Bool, r: Array<U32> & U32, +len: U32, +j: U32) -> Array<U32> & Bool:
231  match w:
232    case SNil{}:
233      (a, b) = r
234      (a, ok)
235    case SCon{Chr{+c}, t}:
236      (a, +b) = r
237      word.go(t, ok && U32.is_eq(b, c), pk(a, len, (j + 1 : U32)), len, (j + 1 : U32))

Uses (11)

Used by (1)

bend-kit-json@0.7.0.0/json:word