extractUserNumber function

BigInt? extractUserNumber(
  1. String s
)

Implementation

BigInt? extractUserNumber(String s) {
  final i = s.indexOf(' ');
  if (i != -1) {
    return parseUserNumber(s.substring(0, i));
  } else {
    return null;
  }
}