-- Andreas, 2021-02-05
-- Type checking error.

EInt. Exp ::= Integer;
id.   Exp ::= "(" Exp ")" ;

define id e = EInt ;  -- Missing argument to EInt.