From ac163c3b0146bff5488ce880af5ea105b48e5771 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Thu, 30 Apr 2015 20:26:13 +0200 Subject: [PATCH] StdDynSet --- fp2/week3/camil/StdDynSet.dcl | 4 ++-- 1 file 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 -- 2.20.1