summaryrefslogtreecommitdiff
path: root/week2/mart/StdT.dcl
diff options
context:
space:
mode:
authorMart Lubbers2015-02-10 10:07:28 +0100
committerMart Lubbers2015-02-10 10:07:28 +0100
commit05ffd999512958a5bd1a44e7bc053db5af549ca8 (patch)
tree84ce44bfaa4d94584bdbb2e60c85af5892317eb9 /week2/mart/StdT.dcl
parentweek 2 camil (diff)
week 2 almost finished
Diffstat (limited to 'week2/mart/StdT.dcl')
-rw-r--r--week2/mart/StdT.dcl18
1 files changed, 18 insertions, 0 deletions
diff --git a/week2/mart/StdT.dcl b/week2/mart/StdT.dcl
new file mode 100644
index 0000000..f4f0d75
--- /dev/null
+++ b/week2/mart/StdT.dcl
@@ -0,0 +1,18 @@
+definition module StdT
+
+import StdOverloaded
+
+:: T
+
+instance == T
+instance < T
+
+instance zero T
+instance + T
+instance - T
+
+instance toInt T
+instance fromInt T
+
+instance toString T
+instance fromString T