path: root/testsuite/runtime/parser/DummyNatCnc.gf

concrete DummyNatCnc of DummyNat = {

lincat Nat = Str ;
lin zero = "z" ;
    succ n = n ;
    plus m n = m ++ n ;

}