gf-3.1.6: lib/src/abstract/Compatibility.gf

abstract Compatibility = Cat ** {

-- from Noun 19/4/2008

fun
    NumInt     : Int -> Num ;     -- 57
    OrdInt     : Int -> Ord ;     -- 57

}