DEFINITION MODULE SEnvironment ;
(*
Description: provides access to the environment settings of a process.
*)
FROM DynamicStrings IMPORT String ;
EXPORT QUALIFIED GetEnvironment ;
(*
GetEnvironment - gets the environment variable, env, and places
a copy of its value into String, s.
TRUE is returned if successful.
*)
PROCEDURE GetEnvironment (env: String; VAR s: String) : BOOLEAN ;
END SEnvironment.