path: root/testsuite/check/lins/lins.gf

abstract lins = {

cat Nat ;
cat C Nat ;

fun zero : Nat ;
    test : C zero ;

}