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

Question

Я хочу запустить Утоп в каталоге, содержащем a.ml (который имеет определение для something) и сможет войти A.something в утопе. Я знаю, что могу сделать #use "a.ml", но это загрязняет глобальное пространство имен. Как я могу сделать полное имя 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" должен сделать это.