求助：无法用Dune编译引入Sqlite3模块的OCaml程序

问题情况 #

已通过opam安装sqlite3包，在utop中可正常运行测试代码：

#use "topfind";;;
#require "sqlite3";;;
#show Sqlite3;;
open Sqlite3
let db = db_open "yolo";;;
let _ = db_close db;;

但使用Dune编译程序时出错：

• main.ml内容：

let _ = Sqlite3.sqlite_version ();;

• dune文件内容：

(executable
    (name main)
    (libraries sqlite3)
)

执行dune build时触发错误：Unbound value Sqlite3.sqlite_version。补充：在.ml文件中open Sqlite3模块可行，但调用模块内函数仍报错，其他包如yojson可正常编译。

解决步骤 #

1. 确认opam环境与包完整性

   • 运行opam switch show确认当前使用的opam switch已安装sqlite3包，若未安装或版本异常，执行opam install sqlite3重新安装。
   • 执行eval $(opam env)确保Dune使用当前opam环境的依赖。

2. 验证函数存在性
   在utop中执行#show Sqlite3.sqlite_version，查看输出是否包含val sqlite_version : unit -> string。若不存在，说明安装的包版本过旧，执行opam upgrade sqlite3升级到最新版本。

3. 清理后重新编译
   执行dune clean清除旧编译产物，再运行dune build重新编译项目。

4. 尝试简化调用方式
   将main.ml改为以下内容，排除模块路径解析问题：

open Sqlite3
let _ = sqlite_version ()

若此方式可编译，说明原代码的模块路径解析存在异常，可结合前几步排查环境问题。

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