Я имею в виду этот модуль: Опция
Я не могу ее найти, открыть Опцию дает мне Ошибка: Несвязанный модуль Опция и нет «опции. cma'
открыть Опцию
Ошибка: Несвязанный модуль Опция
Есть ли он в стандартной библиотеке? Он называется 'option.cma' ?