Определения типов потрясающие

Поэтому я много копался в исходном коде Flutter. И одна из вещей, которые я продолжаю видеть, это не-типы. Так:

WillPopScope({Key? key, required Widget child, required WillPopCallback? onWillPop})

Это конструктор для WillPopScope. Что это WillPopCallback? Оказывается, это typedef. Если вы нажмете на него, вы увидите его реализацию: