1 definition module GenLexOrd
3 import StdGeneric, GenEq
5 :: LexOrd = LT |EQ | GT
8 generic gLexOrd a b :: a b -> LexOrd
11 derive gLexOrd Char, Bool, Int, Real, String, UNIT, PAIR, EITHER, FIELD, CONS, OBJECT, [], {}, {!}
14 derive gLexOrd (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
16 (=?=) infix 4 :: a a -> LexOrd | gLexOrd{|*|} a