forked from GitHub/gf-core
6 lines
150 B
Plaintext
6 lines
150 B
Plaintext
concrete PredefCnc of PredefAbs = {
|
|
lincat
|
|
Int = {s : Str ; size : Predef.Ints 1 ; last : Predef.Ints 9} ;
|
|
Float, String = {s : Str} ;
|
|
} ;
|