diff options
Diffstat (limited to 'week2/camil/StdT.dcl')
| -rw-r--r-- | week2/camil/StdT.dcl | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/week2/camil/StdT.dcl b/week2/camil/StdT.dcl new file mode 100644 index 0000000..ca97fdc --- /dev/null +++ b/week2/camil/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
|