def tok.adv

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

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

import Base

248def tok.adv(+c: Char, +t: String) -> Nat:
249  sel.n(eqc(c, '"'), span_str(t, True{}, False{}), sel.n(is_word(c), span_word(t, head_word(t)), 0n))

Uses (10)

Used by (1)

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