Json.Json.parse.in_num: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/json.bend as Json
Lines 595-598 of bend-kube-runtime@0.2.0.0/src/json.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&start_line=595&end_line=598

import Base

# A number or literal ends at the first char that cannot extend it; that
# char is then read as if after a value.
def Json.parse.in_num(+c: Char, buf: String, stack: List<&2, Frame>) -> JState:
  Json.parse.in_num.if(c, buf, stack, Json.is_num_chr(c))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=JState
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.is_num_chr
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json.parse.in_num.if