Псевдоним для переменных в сопоставлении с образцом

Question

У меня часто бывает что-то похожее на следующее (стандартное определение типа для деревьев):

match tree with
    | Branch(v, Branch(vl, tll, tlr), _) = f Branch(vl, tll, tlr)

На других языках есть возможность сделать что-то вроде:

match tree with
    | Branch(v, tl@Branch(_, _, _), _) = f tl

Есть ли у OCaml нечто подобное?

Answer 1

Это делается с помощью ключевого слова as в OCaml:

match tree with
| Branch(v, (Branch(_, _, _) as tl), _) = f tl