digit top-level constant

String const digit

Implementation

const String digit = r'\d';