DEFINITION MODULE KermType; (************************************************************************) (* Type displays a text file at the screen *) (* written: 25.02.86 Matthias Aebi *) (* last modification: 25.02.86 Matthias Aebi *) (************************************************************************) EXPORT QUALIFIED Type; PROCEDURE Type; END KermType.