gas-cooled fast reactor

type of nuclear reactor cooled by a gas