definition module pdUpdateObject;

import StdEnv;

import DLState;
import UnknownModuleOrSymbol;


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