Functional programming 如何在输入元组ocaml上进行模式匹配

例如，我有代码

let add_next (data: int * int * int list) : int =

但是，单词data实际上是不明确的，我希望能够在函数头中命名前两个整数，然后命名列表，同时保留

int*int*int list

的类型。如何做到这一点

OCaml version 4.01.0

#  let add_next ((first, second, l): int * int * int list) : int = first;;
val add_next : int * int * int list -> int = <fun>

# let add_next ((first, second, l) as data: int * int * int list) : int =
    ignore data;
    first;;
val add_next : int * int * int list -> int = <fun>