~/jendhub

def W64.read_go

bendtorch-load@1.3.0.0 · main.bend:92

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad
import Base

92def W64.read_go(s: String, +acc: W64) -> W64:
93  match s:
94    case SNil{}: acc
95    case SCon{Chr{x}, t}: W64.read_go(t, W64.add(W64.mul_small(acc, 10), W64.of(U32.sub(x, 48))))

Uses (7)

Used by (1)