Z3-OCaml не работает: Несвязанный модуль Z3 Merlin

#visual-studio-code #ocaml #z3 #opam #merlin Вопрос: Я пытаюсь использовать Z3 в OCaml в VSCode (Mac). Чтобы воспользоваться этим, я написал следующий код: open Z3 но он вызвал у меня следующую…