~/jendhub

def exp.part

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

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

85# After `e`: an optional sign, then digits.
86def exp.part(+neg: Bool, +ip: String, +fp: String, +s: String) -> Maybe<&2, Num>:
87  exp.part.pick(Hd.lead(s, 43), Hd.lead(s, 45), neg, ip, fp, s)

Uses (6)

Used by (1)