
/*
** digit.c -- return YES if c is a decimal digit, else NO
*/
digit(c) char c; {
  if((c>='0')&(c<='9')) return YES;
  return NO;
  }
                                                                                                                                                                                                                                                                                                                                                                             