DEFINITION MODULE Config;

FROM LModule IMPORT MODULENAMESIZE, MODULENAME;
FROM SystemTypes IMPORT String;

EXPORT QUALIFIED Set, Specified;

PROCEDURE Set(configpair: ARRAY OF CHAR);
PROCEDURE Specified(mname: MODULENAME; VAR cname: String): BOOLEAN;

END Config.
