Module Type.ParamSet

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