diff options
Diffstat (limited to 'module/grid/demo/exproc.m')
| -rw-r--r-- | module/grid/demo/exproc.m | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/module/grid/demo/exproc.m b/module/grid/demo/exproc.m new file mode 100644 index 00000000..f4b7ec04 --- /dev/null +++ b/module/grid/demo/exproc.m @@ -0,0 +1,7 @@ +Exproc : module +{ + getslavedata : fn (lst: list of string); + doblock : fn (block: int, bpath: string); + readblock : fn (block: int, dir: string, chanout: chan of string): int; + finish : fn (waittime: int, tkchan: chan of string); +};
\ No newline at end of file |