English ⇄ Russian +

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