GSet

GSet 这段代码定义了一个GSet类，它是一个set类型的别名。其中zero()函数返回一个空的set，value(s)函数返回s，add(s, value)函数向s中添加value，merge(a, b)函数返回a和b的并集。这些函数实现了GSet的基本操作，即初始化、添加元素和合并两个GSet ......