GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-26 01:33:18 -06:00
Code Issues Packages Projects Releases Wiki Activity

inherent features of Int

Browse Source
This commit is contained in:
aarne committed 2006-04-04 14:44:46 +00:00
1 parent 08ffbe577d
commit 0f4a01000e
1 file changed
+3 -1
Download Patch File Download Diff File Expand all files Collapse all files
prelude/PredefCnc.gf
+3 -1
View File
@@ -1,3 +1,5 @@
concrete PredefCnc of PredefAbs = {
lincat Int, String = {s : Str} ;
lincat
Int = {s : Str ; size : Predef.Ints 1 ; last : Predef.Ints 9} ;
Float, String = {s : Str} ;
} ;