Rpc.int.text.of: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/rpc.bend as Rpc
Lines 67-74 of ezmcp@0.1.0.0/src/rpc.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/rpc.bend&start_line=67&end_line=74

import Base

# an integer's text after its first char: digits after a minus, else the
# first char a digit and digits after it
def int.text.of(head: Char, tail: String, minus: Bool) -> Bool:
  match minus:
    case True{}:
      digits(tail)
    case False{}:
      digits(SCon{head, tail})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/rpc.bend&name=digits