diff options
Diffstat (limited to 'fp2')
| -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 |