definition module UpdateObject;

import StdEnv;

import DLState;

//GenObj :: !String !String !*Files -> (!Bool,!Bool,!String,!String,!*Files);
//from ioTypes import IOState;
//1.3
from deltaIOState import FileEnv;
//3.1
/*2.0
from deltaIOState import class FileEnv;
0.2*/
import UnknownModuleOrSymbol;

//GenerateObject :: !String !*State !*DLClientState !*DLServerState !(IOState s) -> !(!Bool,!String,[String],[String],!*State,!*DLClientState,!*DLServerState,!(IOState s));
GenerateObject :: !String !*State !*DLClientState !*DLServerState !(IOState s) -> !(!Bool,!String,[ModuleOrSymbolUnknown],[String],!*State,!*DLClientState,!*DLServerState,!(IOState s));