test with numerals

This commit is contained in:
aarne
2004-09-17 14:02:30 +00:00
parent b448e8904b
commit b4c6eb5647
5 changed files with 89 additions and 0 deletions

View File

@@ -0,0 +1,5 @@
abstract TestResourceNum = TestResource, Numerals ** {
fun UseNumeral : Numeral -> Num ;
} ;