From: Camil Staps Date: Thu, 30 Apr 2015 18:26:13 +0000 (+0200) Subject: StdDynSet X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=ac163c3b0146bff5488ce880af5ea105b48e5771;p=fp1415.git StdDynSet --- 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