0
Я установил веревку с opam и убедиться, что он доступен:как загрузить веревку: установлен, но не в состоянии загрузить его
rope 0.5 Ropes ("heavyweight strings")
Но как загрузить его ?? The documentation утверждает, что я должен использовать #load "rope.cma";;
, но это дает мне сообщение Cannot find file rope.cma.
Может кто-нибудь скажет мне, что за заклинание для его погрузки?
Использование #list когда вы topfind активирован. –