Незаперечні блоки випадків

Незаперечний блок регістрів — це блок регістрів, що відповідає всім регістрам. Інструкція збігу може мати щонайбільше один неспростовний блок регістру, і він має бути останнім.

Блок футляра вважається незаперечним, якщо він не має захисного елемента і його візерунок є неспростовним. Патерн вважається неспростовним, якщо ми можемо довести лише з його синтаксису, що він завжди матиме успіх. Незаперечними є лише такі закономірності:

AS Patterns, ліва сторона якого неспростовна АБО Шаблони, що містить принаймні один неспростовний шаблон Захоплення шаблонів Шаблони підстановок в дужках неспростовні закономірності