Cool is an adjective which, depending on context, can refer to either something slightly cold or something amazing, awesome, brilliant, excellent, great, keen, meritorious, etc. The latter meaning is used most often around the PPC.