diff options
Diffstat (limited to 'testsuite/runtime/parser/DummyNat.gf')
| -rw-r--r-- | testsuite/runtime/parser/DummyNat.gf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/runtime/parser/DummyNat.gf b/testsuite/runtime/parser/DummyNat.gf new file mode 100644 index 000000000..ecbc66358 --- /dev/null +++ b/testsuite/runtime/parser/DummyNat.gf @@ -0,0 +1,8 @@ +abstract DummyNat = { + +cat Nat ; +fun zero : Nat ; + succ : Nat -> Nat ; + plus : Nat -> Nat -> Nat ; + +} |