def esc.skip

cswap-bend-cli@0.1.0.0 · json/lex.bend:189

import cswap-bend-cli@0.1.0.0/json/lex.bend as Lex

import Base

189# Chars after the first that the escape consumes.
190def esc.skip(+c: U32, +t: String) -> Nat:
191  U32.to_nat(sel(U32.is_eq(c, 92), esc.sk2(cc(t, 0n), t), 0))

Uses (8)

Used by (1)

cswap-bend-cli@0.1.0.0/json/lex:unescape