%%% %% 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")}