/**
 * Language of signed integer arithmetic.
 *
 * @author Jacob Andersen
 */

"unsignedArith.l" + 
{
  Exp.ispos    :  "positive?" "(" Exp ")" ;
  Exp.isneg    :  "negative?" "(" Exp ")" ;
}