comparedefimp.dcl 350 Bytes
Newer Older
1
2
3
4
5
6
definition module comparedefimp

import syntax, checksupport

// compare definition and implementation module

7
8
compareDefImp :: !{#Int} !{!FunctionBody} !Int !{#CheckedTypeDef} !DclModule !*IclModule !*Heaps !*ErrorAdmin 
				-> (!.IclModule,!.Heaps,!.ErrorAdmin)
9

Martin Wierich's avatar
Martin Wierich committed
10
symbolTypesCorrespond :: !SymbolType !SymbolType !*TypeHeaps -> (!Bool, !.TypeHeaps)