在utop中使用完全限定的名称

Question

我想在包含a.ml（具有something的定义）的目录中启动utop，并能够在utop中输入A.something。我知道我可以做#use "a.ml"，但这会污染全局名称空间。如何在utop中使用完全限定的名称A.something？

Answer 1

根据#help：

#mod_use <str>
  Usage is identical to #use but #mod_use wraps the contents in a module.

因此#mod_use "a.ml"应该这样做。