Module Type.ParamSet

module ParamSet: Set.S T­ÁÀT­Ú@@@@