From 82b4d838ee16fea80bfc0da630603273f7cba6c2 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Jan 2018 22:28:13 +0100
Subject: Start with assignment 13

---
 assignment-13/Arduino.dcl | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 assignment-13/Arduino.dcl

(limited to 'assignment-13/Arduino.dcl')

diff --git a/assignment-13/Arduino.dcl b/assignment-13/Arduino.dcl
new file mode 100644
index 0000000..abb4888
--- /dev/null
+++ b/assignment-13/Arduino.dcl
@@ -0,0 +1,10 @@
+definition module Arduino
+
+from StdOverloaded import class toString
+
+from Util import class print
+
+:: Button = B0 | B1 | B2 | B3 | B4 | B5
+
+instance toString Button
+instance print Button
-- 
cgit v1.2.3