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

import syntax, checksupport

// compare definition and implementation module

7
compareDefImp :: !{#Int} !{!FunctionBody} !*{# DclModule} !*IclModule !*Heaps !*ErrorAdmin 
Martin Wierich's avatar
Martin Wierich committed
8
				-> (!.{# DclModule}, !.IclModule,!.Heaps,!.ErrorAdmin)
9