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






1
2
3
4
5
6





                                                                                                                                         
definition module checkKindCorrectness

import syntax, checksupport, containers

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