1 2 3 4 5 6 7 8 9
abstract Compatibility = Cat ** { -- from Noun 19/4/2008 fun NumInt : Int -> Num ; -- 57 OrdInt : Int -> Ord ; -- 57 }