~/jendhub

def parse_f32_num

bend-prot@0.1.0.0 · pdb.bend:102

import bend-prot@0.1.0.0/pdb.bend as Pdb
import Base

102def parse_f32_num(neg: Bool, i: Maybe<&2, U32>, fp: String, flen: Nat) -> Maybe<&2, F32>:
103  match i:
104    case None{}:
105      None{}
106    case Some{iv}:
107      parse_f32_frac(neg, iv, U32.read(fp), pow10(flen))

Uses (9)

Used by (1)