8 lines
131 B
Plaintext
8 lines
131 B
Plaintext
|
module signature/TYPE
|
||
|
|
signature
|
||
|
|
sorts TYPE // semantic type
|
||
|
|
constructors
|
||
|
|
INT : TYPE
|
||
|
|
STRING : TYPE
|
||
|
|
STREAM : TYPE
|