2012-10-10 21:37:42 +00:00
|
|
|
|
|
|
|
module Set (empty,singleton,insert,remove,member) where
|
|
|
|
|
2012-10-16 06:03:14 +00:00
|
|
|
import Dict as Dict
|
2012-10-10 21:37:42 +00:00
|
|
|
|
2012-10-16 06:03:14 +00:00
|
|
|
empty = Dict.empty
|
|
|
|
singleton k = Dict.singleton k ()
|
|
|
|
insert k = Dict.insert k ()
|
|
|
|
remove = Dict.remove
|
|
|
|
member = Dict.member
|