Num.Num: type of bend-toon-codec@0.1.0.0
Import: import bend-toon-codec@0.1.0.0/src/num.bend as Num
Lines 18-21 of bend-toon-codec@0.1.0.0/src/num.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/num.bend&start_line=18&end_line=21

import Base

# A parsed number: sign, integer digits, fraction digits, exponent as a
# biased-free signed pair.
type Num is Data:
  Num{neg: Bool, ip: String, fp: String, eneg: Bool, ex: String}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String