def scan_string

qasim-bend-kit@0.1.0.2 · libs/JSON.bend:486

import qasim-bend-kit@0.1.0.2/libs/JSON.bend as JSON

import Base

486def scan_string(+s: String) -> Result<&1, &1, Error, StringScan>:
487    scan_string_machine((String.length(s) * 2n + 16n : Nat), ScanText{s, SNil{}})

Uses (10)

Nat
String
Result
Nat.add
Nat.mul
…

Used by (0)

No other definition uses this definition.