coreclean.dcl 327 Bytes
Newer Older
1
2
3
4
definition module coreclean

// $Id$

Vincent Zweije's avatar
Refine    
Vincent Zweije committed
5
6
7
8
9
10
11
from syntax import Ident

// Transitive necessities
from syntax import SymbolPtr,SymbolTableEntry,STE_Kind,Index,Level
from Heap import Ptr,PtrN,HeapN
from StdString import String

12
:: SuclTypeSymbol
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
13

14
:: SuclTypeVariable
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
15

16
:: SuclSymbol
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
17
18
 = SuclUser Ident

19
:: SuclSymbolKind
Vincent Zweije's avatar
Refine    
Vincent Zweije committed
20

21
:: SuclVariable