def dec

lawful-fields@0.1.1.0 · defs.bend:57

import Base

57# A decimal number: one or more digits (leading zeros allowed), nothing else;
58# any size (framebender's Pos.read on text is the same function).
59def dec(xs: List<&2, U32>) -> Maybe<&2, Nat>:
60  match xs:
61    case Nil{}:
62      None{}
63    case Con{x, t}:
64      dec.go(Con{x, t}, Some{0n})