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.