summaryrefslogtreecommitdiff
path: root/next-lib/src/abstract/Compatibility.gf
blob: a4af7d4f5e54353513e70c9b7f89eda3d3fce002 (plain)
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

}