backend/backendconvert.dcl


1
2
3
4
5
6

definition module backendconvert

from backend import BackEnd
import frontend

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