blob: 9fe9b2478457346175d017961bcced31590c1375 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
definition module type
import StdArray
import syntax, check
typeProgram ::!{! Group} !*{# FunDef} !IndexRange !CommonDefs ![Declaration] !{# DclModule} !*Heaps !*PredefinedSymbols !*File
-> (!Bool, !*{# FunDef}, !IndexRange, {! GlobalTCType}, !{# CommonDefs}, !{# {# FunType} }, !*Heaps, !*PredefinedSymbols, !*File)
|
