diff options
Diffstat (limited to 'fp2/week3/camil/StdDynSet.dcl')
-rw-r--r-- | fp2/week3/camil/StdDynSet.dcl | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/fp2/week3/camil/StdDynSet.dcl b/fp2/week3/camil/StdDynSet.dcl deleted file mode 100644 index 160af6c..0000000 --- a/fp2/week3/camil/StdDynSet.dcl +++ /dev/null @@ -1,24 +0,0 @@ -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 |