Anglais ⇄ Russe +

refutable pattern match contraintes
progr.	опровержимое сопоставление с образцом (сопоставление с образцом, которое не выполняется в случае опровержения предусловия сопоставления с образцом Alex_Odeychuk)