def utf8.at

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

import Base

285# The code point whose lead byte b0 is at i.
286def utf8.at(a: Array<U32>, +len: U32, +i: U32, +b0: U32) -> Array<U32> & Cp:
287  utf8.b1(len, i, b0, pk(a, len, (i + 1 : U32)))