+implementation module StdDynSet\r
+\r
+import StdEnv\r
+import StdDynamic\r
+\r
+class Set a | TC, ==, toString a\r
+\r
+:: Set = Set [Dynamic]\r
+\r
+instance zero Set\r
+where zero = abort "zero instance voor Set nog niet geimplementeerd.\n"\r
+\r
+instance toString Set\r
+where toString a = abort "toString instance voor Set nog niet geimplementeerd.\n"\r
+\r
+instance == Set\r
+where == a b = abort "== instance voor Set nog niet geimplementeerd.\n"\r
+\r
+toSet :: a -> Set | Set a\r
+toSet a = abort "toSet nog niet geimplementeerd.\n"\r
+\r
+nrOfElts :: Set -> Int\r
+nrOfElts a = abort "nrOfElts nog niet geimplementeerd.\n"\r
+\r
+isEmptySet :: Set -> Bool\r
+isEmptySet a = abort "isEmptySet nog niet geimplementeerd.\n"\r
+\r
+memberOfSet :: a Set -> Bool | Set a\r
+memberOfSet x a = abort "memberOfSet nog niet geimplementeerd.\n"\r
+\r
+isSubset :: Set Set -> Bool\r
+isSubset a b = abort "isSubset nog niet geimplementeerd.\n"\r
+\r
+isStrictSubset :: Set Set -> Bool\r
+isStrictSubset a b = abort "isStrictSubset nog niet geimplementeerd.\n"\r
+\r
+union :: Set Set -> Set\r
+union a b = abort "union nog niet geimplementeerd.\n"\r
+\r
+intersection :: Set Set -> Set\r
+intersection a b = abort "intersection nog niet geimplementeerd.\n"\r
+\r
+without :: Set Set -> Set\r
+without a b = abort "without nog niet geimplementeerd.\n"\r