用途：为 OCaml 开发提供专家级辅助，涵盖代数数据类型、模式匹配、模块系统与 Dune 构建，适合编写静态分析工具、编译器、形式化验证套件，以及金融量化交易等对性能与类型安全要求高的系统。
主要能力：支持 Hindley-Milner 类型推断与穷尽式模式匹配；结构化模块系统与函子（参数化模块），可生成通用容器；OCaml 5 的多核 Domain 并行与 effect handler；推荐使用 Jane Street 的 Base 与 Core 增强标准库。
使用方式：以 Dune 为标准构建系统，使用 dune build 构建、dune runtest 运行测试；模块依赖需在 dune 文件的 libraries 字段声明后重新构建。示例中定义了递归二叉树并计算深度，用 Printf.printf 输出结果。
适用场景：高性能静态函数式编程、量化交易基础设施与订单簿、编译器与 linter、形式化验证、多核并行程序。
限制与注意：避免随意使用多态相等（=），其在函数闭包上可能运行时崩溃，应使用带类型的比较器；不要用未处理异常控制流程，应以 Result.t 或 Option.t 显式表达失败；跨 Domain 共享内存需用 Atomic.t 同步。编译警告如 Warning 8 提示模式匹配不穷尽，需补齐分支；类型不匹配错误通常源于参数顺序，OCaml 不做隐式转换。具体安装命令与版本要求暂未提供。