From 7553b7f9d4dddc2235c137d41de8ce22547bebe3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 1 Jul 2015 17:36:37 +0200
Subject: Initial commit

---
 receiverevent.dcl | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 receiverevent.dcl

(limited to 'receiverevent.dcl')

diff --git a/receiverevent.dcl b/receiverevent.dcl
new file mode 100644
index 0000000..b335ef6
--- /dev/null
+++ b/receiverevent.dcl
@@ -0,0 +1,14 @@
+definition module receiverevent
+
+
+//	Clean Object I/O library, version 1.2
+
+//	receiverevent defines the DeviceEventFunction for the receiver device.
+//	This function is placed in a separate module because it is platform dependent.
+
+
+import	deviceevents
+from	iostate import :: PSt
+
+
+receiverEvent :: !SchedulerEvent !(PSt .l) -> (!Bool,!Maybe DeviceEvent,!SchedulerEvent,!PSt .l)
-- 
cgit v1.2.3