Noun
tomistomine (plural tomistomines) A crocodylian of the subfamily Tomistominae, which includes one living species, the false gavial, and many extinct species.