/**
 * Language of integer literals.
 *
 * @author Jacob Andersen
 */

{
  Digit.zero     :  "0" ;
  Digit.one      :  "1" ;
  Digit.two      :  "2" ;
  Digit.three    :  "3" ;
  Digit.four     :  "4" ;
  Digit.five     :  "5" ;
  Digit.six      :  "6" ;
  Digit.seven    :  "7" ;
  Digit.eight    :  "8" ;
  Digit.nine     :  "9" ;

  IntConst.digit : Digit ;
  IntConst.more  : IntConst Digit ;
}