diff options
author | Mart Lubbers | 2015-02-10 10:07:28 +0100 |
---|---|---|
committer | Mart Lubbers | 2015-02-10 10:07:28 +0100 |
commit | 05ffd999512958a5bd1a44e7bc053db5af549ca8 (patch) | |
tree | 84ce44bfaa4d94584bdbb2e60c85af5892317eb9 /week2/mart/StdT.dcl | |
parent | week 2 camil (diff) |
week 2 almost finished
Diffstat (limited to 'week2/mart/StdT.dcl')
-rw-r--r-- | week2/mart/StdT.dcl | 18 |
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
|