diff options
| author | Camil Staps | 2015-04-30 20:26:13 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-04-30 20:26:13 +0200 |
| commit | ac163c3b0146bff5488ce880af5ea105b48e5771 (patch) | |
| tree | 0d1acdc1853b6c21e3eb9a2d83c6b5e9790f65c9 | |
| parent | StdDynSet (diff) | |
StdDynSet
| -rw-r--r-- | fp2/week3/camil/StdDynSet.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fp2/week3/camil/StdDynSet.dcl b/fp2/week3/camil/StdDynSet.dcl index 66964ad..160af6c 100644 --- a/fp2/week3/camil/StdDynSet.dcl +++ b/fp2/week3/camil/StdDynSet.dcl @@ -10,12 +10,12 @@ instance zero Set instance toString Set instance == Set -//toSet :: a -> Set | Set a +toSet :: a -> Set | Set a nrOfElts :: Set -> Int isEmptySet :: Set -> Bool -//memberOfSet :: a Set -> Bool | Set a +memberOfSet :: a Set -> Bool | Set a isSubset :: Set Set -> Bool isStrictSubset :: Set Set -> Bool |