aboutsummaryrefslogblamecommitdiff
path: root/frontend/convertDynamics.dcl
blob: 0a0e38d29abeb6af748c3465744a3cd77e4151ad (plain) (tree) 
db9e598 ^




05b7944 ^





db9e598 ^

05b7944 ^

db9e598 ^

05b7944 ^

1
2
3
4

5
6
7
8
9

10

11

12

13



                                      



                                                                                                                                                                    
                                                                                                                    
                                                                                                    
                                                                                                                                                                    
 
definition module convertDynamics

import syntax, transform, convertcases


convertDynamicPatternsIntoUnifyAppls :: {! GlobalTCType} !{# CommonDefs} !*{! Group} !*{#FunDef} !*PredefinedSymbols !*VarHeap !*TypeHeaps !*ExpressionHeap
			-> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap)

/*
convertDynamicPatternsIntoUnifyAppls :: {! GlobalTCType} !{# CommonDefs} !*{! Group} !*{#FunDef} !*PredefinedSymbols
		!*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap
			-> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap)
*/
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-16 02:18:28 +0000