StdDynSet
authorCamil Staps <info@camilstaps.nl>
Thu, 30 Apr 2015 18:26:13 +0000 (20:26 +0200)
committerCamil Staps <info@camilstaps.nl>
Thu, 30 Apr 2015 18:26:13 +0000 (20:26 +0200)
fp2/week3/camil/StdDynSet.dcl

index 66964ad..160af6c 100644 (file)
@@ -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