GENERIC INTERFACE Module ();

IMPORT Module;

VAR M: Module.T;

PROCEDURE Initialize (name: TEXT);

END Module.