%%% %% Section 7.6: Top Level Type Declarations %% %% @author Martin Bravenboer <martin.bravenboer@gmail.com> %%% module languages/java-15/packages/TypeDeclarations imports languages/java-15/classes/ClassDeclarations languages/java-15/interfaces/InterfaceDeclarations exports sorts TypeDec context-free syntax ClassDec -> TypeDec InterfaceDec -> TypeDec ";" -> TypeDec {cons("Semicolon")}