Value-Binding Pattern
Optional Pattern
Похоже, я понял. Здесь = это не присваивание, и не проверка на равенство соответствующих элементов двух кортежей. С помощью if case проверяется совпадение с шаблоном (Pattern Matching), в данном случае с литералом кортежа (0, 0, 0). Еще раз, спасибо! 👍