frontend/analtypes.dcl


1
2
3
4
5
6
7
8

definition module analtypes

import checksupport, typesupport


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

instance <<< TypeKind