def dec.ch

emerging-eztoml@0.9.0.0 · main.bend:383

import Base

383# a digit character
384def dec.ch(dd: U32) -> Char:
385  Chr{U32.add(48, dd)}