module Data.Set
(Var "addToSet",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "cardinality",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "delFromSet",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "elementOf",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "emptySet",Value {args = 0, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "intersect",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "isEmptySet",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "mapSet",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "minusSet",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "mkSet",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "setToList",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "union",Value {args = 2, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "unionManySets",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(Var "unitSet",Value {args = 1, fixity = Def, priority = 9, letBound = True, traced = False})
(TypeClass "Set",TyCls (Ty [] []))
