использовать полностью уточненные имена в утопе

Question

Я хочу запустить utop в каталоге, содержащем a.ml (который имеет определение для something), и иметь возможность ввести A.something в utop. Я знаю, что могу сделать #use "a.ml", но это загрязняет глобальное пространство имен. Как я могу заставить полное имя A.something работать в utop?

Answer 1

Согласно #help:

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

Так что #mod_use "a.ml" должно это сделать.