The Meta-Environment API
00001 #ifndef __NAVIGATOR__ 00002 #define __NAVIGATOR__ 00003 00004 process NAV-UpdateModule(ModuleId: module-id, File: file) is 00005 snd-msg(nav-update-module(ModuleId, File)) 00006 00007 process NAV-DeleteModule(ModuleId: module-id) is 00008 snd-msg(nav-delete-module(ModuleId)) 00009 00010 #endif /* __NAVIGATOR__ */