Compiler_libs

Предупреждение

Эта библиотека является частью внутреннего API компилятора OCaml и не входит в стандартную библиотеку языка. Совместимость между выпусками не гарантируется, поэтому код, использующий эти модули, должен быть готов зависеть от конкретных версий компилятора OCaml.

Ast_helper	Вспомогательные средства для создания фрагментов Parsetree
Ast_invariants	Проверка инвариантов AST
Ast_iterator	`Ast_iterator.iterator` позволяет исследовать AST с помощью открытой рекурсии.
Ast_mapper	Интерфейс переписывателя -ppx
Asttypes	Вспомогательные типы AST, используемые в parsetree и typedtree.
Attr_helper	Вспомогательные средства для атрибутов
Builtin_attributes	Поддержка встроенных атрибутов:
CamlinternalMenhirLib
Depend	Зависимости модулей.
Docstrings	Комментарии документации
Lexer	Лексический анализатор
Location	Позиции в исходном коде (диапазоны позиций), используемые в parsetree.
Longident	Составные идентификаторы, используемые в parsetree.
Parse	Точки входа в парсер
Parser
Parsetree	Абстрактное синтаксическое дерево, создаваемое при разборе
Pprintast	Средства форматированного вывода для `Parsetree`
Printast	Средство вывода без форматирования для `Parsetree`
Syntaxerr	Вспомогательный тип для сообщения о синтаксических ошибках
Unit_info	Этот модуль централизует обработку файлов компиляции и их метаданных.
Arg_helper	Разбор аргументов командной строки вида <value> \| <key>=<value>`,...`
Binutils
Build_path_prefix_map	Переписывание путей для воспроизводимых сборок
Ccomp	Компиляция файлов C и создание библиотек C
Clflags	Флаги командной строки
Compression
Config_boot	Конфигурация системы
Config_main	Конфигурация системы
Config	Конфигурация системы
Consistbl	Таблицы согласованности: проверка согласованности CRC модулей
Diffing	Параметрическое сравнение
Diffing_with_keys	При сравнении списков, в которых у каждого элемента есть уникальный ключ, можно уточнить патч различий, добавив два составных действия редактирования: перестановки и перемещения.
Domainstate
Format_doc	Компонуемый документ для движка форматирования `Format`.
Identifiable	Единый интерфейс для распространённых структур данных, работающих с различными объектами.
Int_replace_polymorphic_compare
Lazy_backtrack
Linkdeps
Load_path	Управление каталогами подключаемых файлов.
Local_store	Этот модуль предоставляет средства для создания ссылок (и хеш-таблиц), состояние которых можно легко сохранить и восстановить до произвольной версии.
Misc	Разные полезные типы и функции
Numbers	Модули для работы с числами, некоторые из которых удовлетворяют `Identifiable.S`.
Profile	Сбор данных о производительности компилятора
Stable_matching
Strongly_connected_components	Алгоритм Косарайю для поиска компонент сильной связности.
Targetint	Целые числа, соответствующие целочисленному типу целевого процессора.
Terminfo	Базовый интерфейс к базе данных terminfo
Warnings	Определения предупреждений
Pparse	Драйвер парсера и внешних препроцессоров.