type checking: kontrola typów > Dodaj do ulubionych Proces weryfikacji czy wszystkie nazwy typów zostały użyte w programie prawidłowo.