let l = 1::2::3::[];;
match l with |1::a::3::[] -> a;; - : int = 2
match l with |1::a::[] ->a;; Exception: Match_failure ("", 2, -13).
Как бы так ухитриться, чтоб а в последнем случае стал бы 2::3::[], грубо говоря, чтоб попадание было "жадным" - не только по элементам списка, но и по группам элементов. Это синтаксически возможно?