gf-3.1.6: testsuite/compiler/check/lins/lins.gf

abstract lins = {

cat Nat ;
cat C Nat ;

fun zero : Nat ;
    test : C zero ;

}