Meaning of gator

(noun) either of two amphibious reptiles related to crocodiles but with shorter broader snouts