%%%
%% Section 3.10.3: Boolean Literals
%%
%% @author Martin Bravenboer <martin.bravenboer@gmail.com>
%%%
module languages/java-15/lexical/literals/BooleanLiterals
exports
sorts
Bool
BoolLiteral
context-free syntax
Bool -> BoolLiteral {cons("Bool")}
"true" -> Bool {cons("True")}
"false" -> Bool {cons("False")}