4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder%% Classes ---------------------------------------------------------------

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera = {_ < t}

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederb = {_ < s}

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederc

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederd

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedere = a

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maederh < (a, b, e)

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder%% Type Constructors -----------------------------------------------------

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeders : Type %(var)%

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedert : Type %(var)%

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder%% Diagnostics -----------------------------------------------------------

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederWarning (line 7, column 7) redeclared class 'a'

4c4a3329080becd4b81d56396586b740487924cbChristian MaederError (line 7, column 7) alias class cannot become a real class 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederWarning (line 9, column 7) redeclared class 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederWarning (line 11, column 7) redeclared class 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 11, column 7) inconsistent redefinition of 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederWarning (line 15, column 7) redeclared class 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 15, column 7) inconsistent redefinition of 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederWarning (line 21, column 7) redeclared class 'h'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederWarning (line 21, column 12) already known as super class 'a'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederWarning (line 23, column 7) redeclared class 'e'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian MaederError (line 23, column 7) inconsistent redefinition of 'e'

4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder