OCaml代码(($2 :: fst $1), snd $1)的功能含义是什么？

你提供的代码是OCaml生态语法分析器生成工具（ocamlyacc/Menhir）规则中的语义动作代码，完整逻辑拆解如下：

(($2 :: fst $1), snd $1)

• 前置信息确认：$1是当前语法规则匹配到的第一个语法符号的语义值，类型为二元组，结构为(元素列表, 其他自定义值)；$2是当前语法规则匹配到的第二个语法符号的语义值，类型与$1中列表的元素类型完全一致。
• 分步运算逻辑：
  1. 执行fst $1，取出$1二元组的第一个分量，即原有的元素列表
  2. 执行$2 :: fst $1，通过OCaml的列表构造运算符::将$2的值插入到上述列表的头部，生成全新的元素列表
  3. 执行snd $1，取出$1二元组的第二个分量，这部分值不做任何修改直接复用
• 整体返回结果：外层括号构造了一个新的二元组，第一个位置是插入$2后的新列表，第二个位置是$1原本的第二个分量。

运行示例 #

假设$1的值为([1;2;3], "meta_info")，$2的值为4，代入代码运算后返回的最终结果为([4;1;2;3], "meta_info")。

内容的提问来源于stack exchange，提问作者Shisui