你遇到的困惑其实核心在于局部变量和模块顶层值的区别——你代码里的var是let var = ... in里的局部变量，它只在当前作用域内有效，其他模块根本访问不到；而官方教程里说的「模块名.变量名」引用的是其他模块顶层定义的公开值。下面针对你的场景给出几种明确的解决方案，按推荐程度排序：

1. 显式传递参数（最推荐，函数式编程最佳实践） #

这是OCaml里最符合函数式风格的做法，完全没有隐式依赖，代码清晰易维护。只需要修改M2.f2的签名，让它额外接收你需要的参数，然后在Main里调用时把局部变量传进去：

M2.ml 代码修改 #

(* 让f2接受两个参数：你需要的var，以及处理后的AST *)
let f2 var tree =
  (* 在这里直接使用var来处理tree *)
  ...

Main.ml 调用修改 #

let var = "value" in
(* 用 |> 传递的话，需要把参数放在后面，或者用 |> (M2.f2 var) *)
let tree = Parse.parse_tree ~file:input input_text |> M1.f1 |> (M2.f2 var)

这种方式的好处是一目了然，任何人看代码都能知道f2依赖这个var，而且方便编写测试（可以传入不同的var值测试f2的行为）。

2. 将变量提升为模块顶层值（适合不可变的全局共享值） #

如果var的值是固定的，或者程序启动时就能确定并且不会改变，你可以把它从局部作用域移到Main模块的顶层：

Main.ml 修改 #

(* 顶层定义这个变量，让其他模块可以访问 *)
let var = "value"

let main () =
  let tree = Parse.parse_tree ~file:input input_text |> M1.f1 |> M2.f2
  ...

M2.ml 中引用 #

let f2 tree =
  (* 直接通过模块名引用顶层值 *)
  let my_var = Main.var in
  (* 使用my_var处理tree *)
  ...

但要注意：顶层值是程序启动时就初始化的，如果你需要根据运行时输入（比如命令行参数）动态设置var，这种方式就不适用了。而且顶层值默认是不可变的，无法后续修改。

3. 使用可变全局引用（谨慎使用，适合动态修改的共享状态） #

如果确实需要一个可以在运行时动态修改的“全局变量”，可以把它放在一个单独的共享模块里，用ref封装：

新建 Shared.ml #

(* 初始化一个空的可变引用，后续可以修改它的值 *)
let var = ref ""

Main.ml 中设置值 #

let var = "value" in
(* 将局部变量的值赋值给全局引用 *)
Shared.var := var;
let tree = Parse.parse_tree ~file:input input_text |> M1.f1 |> M2.f2

M2.ml 中读取值 #

let f2 tree =
  (* 解引用获取当前的var值 *)
  let current_var = !Shared.var in
  (* 使用current_var处理tree *)
  ...

⚠️ 注意：这种方式会引入可变的全局状态，让代码行为变得难以预测，尤其是在多线程场景下（OCaml的ref不是线程安全的）。除非必要，尽量不要用这种方式。

4. 使用Functor（适合复杂的模块级依赖） #

如果你的M2模块有多个函数都需要用到var，或者需要依赖一组相关的值/函数，可以用Functor把依赖作为模块参数传递：

M2.ml 定义Functor #

(* 定义依赖的模块类型：必须包含var这个值 *)
module type REQUIRED_DATA = sig
  val var : string
end

(* Functor：传入满足REQUIRED_DATA的模块，生成包含f2的模块 *)
module Make (Data : REQUIRED_DATA) = struct
  let f2 tree =
    (* 使用Data.var来处理tree *)
    ...
end

Main.ml 中创建M2实例 #

let var = "value" in
(* 创建一个临时模块，满足REQUIRED_DATA类型 *)
module MyData = struct let var = var end
(* 生成带有var的M2实例 *)
module M2WithVar = M2.Make(MyData)
(* 使用实例里的f2 *)
let tree = Parse.parse_tree ~file:input input_text |> M1.f1 |> M2WithVar.f2

这种方式非常适合大型项目的模块化设计，能清晰地管理模块之间的依赖关系，避免隐式依赖。

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