%%%
 %% Chapter 4: Types, Values, and Variables
 %%
 %% @author Martin Bravenboer <martin@cs.uu.nl>
 %%%
module languages/java-14/types/Main
imports
  languages/java-14/types/PrimitiveTypes
  languages/java-14/types/ReferenceTypes

exports
  sorts
    Type

  context-free syntax
    PrimType -> Type
    RefType  -> Type
