def int.text.of

ezmcp@0.1.0.0 · src/rpc.bend:67

import Base

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