From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 2 Feb 2016 19:24:50 +0100
Subject: Moved to 1415 directory

---
 1415/fp2/week3/camil/StdDynSet.dcl | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 1415/fp2/week3/camil/StdDynSet.dcl

(limited to '1415/fp2/week3/camil/StdDynSet.dcl')

diff --git a/1415/fp2/week3/camil/StdDynSet.dcl b/1415/fp2/week3/camil/StdDynSet.dcl
new file mode 100644
index 0000000..160af6c
--- /dev/null
+++ b/1415/fp2/week3/camil/StdDynSet.dcl
@@ -0,0 +1,24 @@
+definition module StdDynSet
+
+import StdOverloaded
+
+class Set a | TC, ==, toString a
+
+:: Set
+
+instance zero     Set
+instance toString Set
+instance ==       Set
+
+toSet			:: a       -> Set  | Set a
+
+nrOfElts		::     Set -> Int
+isEmptySet		::     Set -> Bool
+
+memberOfSet		:: a   Set -> Bool | Set a
+isSubset		:: Set Set -> Bool
+isStrictSubset	:: Set Set -> Bool
+
+union			:: Set Set -> Set
+intersection	:: Set Set -> Set
+without			:: Set Set -> Set
-- 
cgit v1.2.3