aboutsummaryrefslogblamecommitdiff
path: root/frontend/checkKindCorrectness.dcl
blob: 26ebb28757311d6fbf718bd3abe6e68956597dd0 (plain) (tree) 
409bc68 ^




1d03a64 ^


1
2
3
4

5
6



                                       
                                                                                                                               
definition module checkKindCorrectness

import syntax, checksupport, containers

checkKindCorrectness :: !Index IndexRange !u:{# FunDef} !{#CommonDefs} !*{#DclModule} !*TypeVarHeap !*TypeDefInfos !*ErrorAdmin
					-> (!u:{# FunDef}, !*{#DclModule}, !*TypeVarHeap, !*TypeDefInfos, !*ErrorAdmin)
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-18 14:01:14 +0000