(module M_GSet)