1 files changed, 24 insertions, 0 deletions
diff --git a/files/practicum/StdDynSet.dcl b/files/practicum/StdDynSet.dcl
new file mode 100644
index 0000000..de9a9b7
--- /dev/null
+++ b/files/practicum/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