definition module ObjectToMem; import StdString, State; import DLState; import UnknownModuleOrSymbol; from pdObjectToMem import ::WriteImageInfo; LinkUnknownSymbols :: [ModuleOrSymbolUnknown] !*State !Int !*DLClientState *f -> *(*(!(Maybe WriteImageInfo),[Int],!*State,!*DLClientState),*f) | FileEnv f;