def parse.toks

cswap-bend-cli@0.1.0.0 · json.bend:223

import cswap-bend-cli@0.1.0.0/json.bend as Json

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

223def parse.toks(+toks: List<&2, Lex.Tok>) -> Result<&2, &2, String, Json>:
224  parse.pick(Scan.err.of(toks), val(Nat.add(Nat.mul(3n, List.length(&2, Lex.Tok, toks)), 5n), plan(MVal{}, toks)))

Uses (13)

Used by (1)

cswap-bend-cli@0.1.0.0/json:parse