mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-15 10:00:11 -06:00
17 lines
260 B
Plaintext
17 lines
260 B
Plaintext
--# -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
|
|
|
|
-}
|
|
|
|
}
|