/* _dict.cc 31/03/1998 00.02.32 */
/* treemenu.cc 28/08/2000 18.15.04 */
PUBLIC MODULE_treemenu::MODULE_treemenu (void);
PUBLIC int MODULE_treemenu::dohtml (const char *key);
PUBLIC int MODULE_treemenu::message (const char *msg,
	 int argc,
	 const char *argv[]);
PUBLIC int MODULE_treemenu::execmain (int argc, char *argv[], bool);