%%%
%% Section 7.3: CompilationUnits
%%
%% @author Martin Bravenboer <martin.bravenboer@gmail.com>
%%%
module languages/java-15/packages/CompilationUnits
imports
languages/java-15/packages/PackageDeclarations
languages/java-15/packages/ImportDeclarations
languages/java-15/packages/TypeDeclarations
exports
sorts
CompilationUnit
context-free syntax
PackageDec? ImportDec* TypeDec+ -> CompilationUnit {cons("CompilationUnit")}