def str.tok

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

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

import Base

219# t follows the opening quote.
220def str.tok(+t: String) -> Tok:
221  str.pick(str.closed(t, True{}, False{}), String.take(t, Nat.sub(span_str(t, True{}, False{}), 1n)))

Uses (8)

Used by (1)

cswap-bend-cli@0.1.0.0/json/lex:tok.of2