%%%
%% Section 3.10.7: The null Literal
%%
%% @author Martin Bravenboer <martin.bravenboer@gmail.com>
%%%
module languages/java-15/lexical/literals/NullLiteral
exports
sorts NullLiteral
context-free syntax
"null" -> NullLiteral {cons("Null")}