definition module pdRequest;

// StdEnv
import StdString;

import DLState;

// AddClient
ExtractProjectPathName :: !String -> !String;
StartClientApplication3 :: !String !String !Bool !String !*DLClientState !*DLServerState !*(IOState !*DLServerState) -> *(!Bool,!ProcessSerialNumber,{#Char},!*DLClientState,!*DLServerState,!*(IOState !*DLServerState));

// Init
ParseCommandLine :: !String -> {#{#Char}};

// AddAndInit
RemoveStaticClientLibrary :: !*State -> !*State;

// Close
CloseClient :: !*DLClientState !*(IOState !*DLServerState) -> (!*DLClientState,!*(IOState !*DLServerState));