Belongs to the imidazoleglycerol-phosphate dehydratase family.