def digit.code
import bolt@1.27.0.0/src/lsp/frame.bend as Frameimport Base
116# a digit's char code, '0' to '9'
117def digit.code(dd: Digit) -> U32:
118 match dd:
119 case D0{}:
120 48
121 case D1{}:
122 49
123 case D2{}:
124 50
125 case D3{}:
126 51
127 case D4{}:
128 52
129 case D5{}:
130 53
131 case D6{}:
132 54
133 case D7{}:
134 55
135 case D8{}:
136 56
137 case D9{}:
138 57