definition module StdDynSet import StdOverloaded class Set a | TC, ==, toString a :: Set instance zero Set instance toString Set instance == Set toSet :: a -> Set | Set a nrOfElts :: Set -> Int isEmptySet :: Set -> Bool memberOfSet :: a Set -> Bool | Set a isSubset :: Set Set -> Bool isStrictSubset :: Set Set -> Bool union :: Set Set -> Set intersection :: Set Set -> Set without :: Set Set -> Set