backend/backendconvert.dcl


1
2
3
4
5
6

definition module backendconvert

from backend import BackEnd
import frontend

backEndConvertModules :: PredefinedSymbols FrontEndSyntaxTree !Int *VarHeap *AttrVarHeap *BackEnd -> (!*VarHeap, *AttrVarHeap, !*BackEnd)