def short_digit

cli@0.2.0.0 · cli.bend:2520

import Base

2520def short_digit(short: String) -> Bool:
2521  match short:
2522    case SCon{Chr{45}, SCon{head, tail}}: Char.is_digit(head)
2523    case _: False{}