cocodrilo lagarto) es un género extinto de saurópsido arcosaurio perteneciente al orden Rauisuchia, perteneciente a la familia Prestosuchidae.