aboutsummaryrefslogtreecommitdiff
path: root/frontend/analtypes.dcl
blob: b9552431c426da7377948bff5f2a90a88bb1fcc5 (plain) (blame)
1
2
3
4
5
6
7
definition module analtypes

import checksupport, typesupport

analTypeDefs :: !{#CommonDefs} !ModuleNumberSet !*TypeHeaps !*ErrorAdmin -> (!*TypeDefInfos, !*TypeHeaps, !*ErrorAdmin)

instance <<< TypeKind