module languages/aterm/syntax/IntCon imports basic/NatCon hiddens imports basic/Whitespace context-free start-symbols IntCon exports sorts IntCon context-free syntax NatCon -> IntCon {cons("natural")} pos:"+" NatCon -> IntCon {cons("positive")} neg:"-" NatCon -> IntCon {cons("negative")}