aboutsummaryrefslogblamecommitdiff
path: root/frontend/comparedefimp.dcl
blob: 1652f3732b5efd774e6f98a6d14b3f9d678b933f (plain) (tree) 
bbac534 ^






4a1649a ^


bbac534 ^

1
2
3
4
5
6

7
8

9





                                               
                                                                                                              
 
definition module comparedefimp

import syntax, checksupport

// compare definition and implementation module

compareDefImp :: !{#Int} !{!FunctionBody} !Int !{#CheckedTypeDef} !DclModule !*IclModule !*Heaps !*ErrorAdmin 
				-> (!.IclModule,!.Heaps,!.ErrorAdmin)
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-24 21:48:10 +0000