definition module SearchObject;

import
	StdEnv;
	
import DLState;

add_module2 :: !*Xcoff !State -> !State;

add_library2 :: !Int !Int !LibraryList !State -> !State;

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