HELF - Haskell implementation of the Edinburgh Logical Framework
(C) Andreas Abel and Nicolai Kraus
%%% opening "ltal_sig.elf" %%%
%%% parsing %%%
%%% scope checking %%%
scope check error: Unbound concrete identifier "word32"