Value.num: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/value.bend as Value
Lines 287-289 of emerging-ezjson@1.3.0.0/src/value.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&start_line=287&end_line=289

import Base

# a JSON number from its text, or null when that text is not one
def num(+raw: String) -> Json:
  num.go(raw, num.ok(raw))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.go
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok