diff options
Diffstat (limited to 'web/noweb/src/c/modtrees.h')
-rw-r--r-- | web/noweb/src/c/modtrees.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/web/noweb/src/c/modtrees.h b/web/noweb/src/c/modtrees.h new file mode 100644 index 0000000000..94b3b7357a --- /dev/null +++ b/web/noweb/src/c/modtrees.h @@ -0,0 +1,4 @@ +Module insert (char *modname); /* add a module to the world */ +Module lookup (char *modname); /* return ptr to module or NULL */ +void apply_each_module(void (*fun)(Module)); + /* apply [[fun]] to each module in the tree */ |