gf-3.10: testsuite/compiler/typecheck/abstract/C.gf

abstract C = {

cat S ;

fun f : S -> S ;
def f x = 1 ;

}