DEFINITION MODULE SEnvironment ;
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.