module basic/IntCon imports basic/NatCon exports sorts Integer context-free syntax NatCon -> Integer {cons("nat-con")} "+" integer:Integer -> Integer {non-assoc, cons("positive")} "-" integer:Integer -> Integer {non-assoc, cons("negative")} context-free priorities {non-assoc: "+" integer:Integer -> Integer {non-assoc, cons("positive")} "-" integer:Integer -> Integer {non-assoc, cons("negative")} }