def number

gralha-text-scan@0.1.0.1 · scan.bend:207

import Base

207# The loop starts as if after a character that was read, with nothing yet.
208def number(s: String) -> Number:
209  number.go(separators(s), True{}, 0, "", 0, 1.0, 0.0, 0.0, 1.0, 0, False{}, False{})