Meaning of gas-cooled reactor

(noun) a nuclear reactor using gas as a coolant