gf-rgl/src/rukiga/CompatibilityCgg.gf

--# -path=.:../prelude:../abstract:../common

concrete CompatibilityCgg of Compatibility = CatCgg **
  open Prelude, ResCgg in {


{-
abstract Compatibility = Cat ** {

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

-}

}