def frac.rest

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

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

98# After the fraction: end of text or an exponent.
99def frac.rest(+neg: Bool, +ip: String, +fp: String, +s: String) -> Maybe<&2, Num>:
100  frac.rest.pick(String.is_empty(s), Hd.lead(s, 101) || Hd.lead(s, 69), neg, ip, fp, s)