~/jendhub

def int.rest

bend-toon-codec@0.1.0.0 · src/num.bend:118

import bend-toon-codec@0.1.0.0/src/num.bend as Num
import Base
import bend-toon-codec@0.1.0.0/src/head.bend as Hd

118# After the integer digits: a fraction, an exponent, or the end.
119def int.rest(+neg: Bool, +ip: String, +s: String) -> Maybe<&2, Num>:
120  int.rest.pick(Hd.lead(s, 46), neg, ip, s)

Uses (6)

Used by (1)