diff options
Diffstat (limited to 'module/styxflush.m')
| -rw-r--r-- | module/styxflush.m | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/module/styxflush.m b/module/styxflush.m new file mode 100644 index 00000000..0dbb650e --- /dev/null +++ b/module/styxflush.m @@ -0,0 +1,7 @@ +Styxflush: module { + PATH: con "/dis/lib/styxflush.dis"; + Einterrupted: con "interrupted"; + init: fn(); + tmsg: fn(m: ref Styx->Tmsg, flushc: chan of (int, chan of int), reply: chan of ref Styx->Rmsg): (int, ref Styx->Rmsg); + rmsg: fn(m: ref Styx->Rmsg): int; +}; |
