diff options
Diffstat (limited to 'frontend/trans.dcl')
| -rw-r--r-- | frontend/trans.dcl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontend/trans.dcl b/frontend/trans.dcl index b9d252d..67fe32c 100644 --- a/frontend/trans.dcl +++ b/frontend/trans.dcl @@ -23,3 +23,7 @@ partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef convertSymbolType :: !{# CommonDefs} !SymbolType !*{#{# CheckedTypeDef}} !ImportedConstructors !*TypeHeaps !*VarHeap -> (!SymbolType, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*TypeHeaps, !*VarHeap) + +// MV .. +addTypesOfDictionaries :: w:(a x:CommonDefs) .[TypeContext] u:[AType] -> v:[AType] | Array .a, [u <= v, w <= x]; +// .. MV
\ No newline at end of file |