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	Расшифровка аргументов командной строки в формате <значение> \| <ключ>=<значение>`,...`
Binutils
Build_path_prefix_map	Переписывание путей для воспроизводимых сборок
Ccomp	Компиляция файлов C и построение библиотек C
Clflags	Флаги командной строки
Compression
Config_boot	Конфигурация системы
Config_main	Конфигурация системы
Config	Конфигурация системы
Consistbl	Таблицы согласованности: для проверки согласованности контрольных сумм модулей
Diffing	Параметрическое сравнение
Diffing_with_keys	При сравнении списков, где каждый элемент имеет уникальный ключ, мы можем усовершенствовать патч сравнения, введя два составных оператора редактирования: перестановки и перемещения.
Domainstate
Identifiable	Единый интерфейс для общих структур данных над различными объектами.
Int_replace_polymorphic_compare
Lazy_backtrack
Load_path	Управление каталогами включения.
Local_store	Этот модуль предоставляет некоторые средства для создания ссылок (и хеш-таблиц), которые легко можно зафиксировать и восстановить до произвольной версии.
Misc	Разнообразные полезные типы и функции
Numbers	Модули о числах, некоторые из которых удовлетворяют `Identifiable.S`.
Profile	Запись производительности компилятора
Strongly_connected_components	Алгоритм Косарайю для сильносвязных компонент.
Targetint	Целые числа, родные для целевого процессора.
Terminfo	Базовый интерфейс к базе данных terminfo
Warnings	Определения предупреждений
Pparse	Драйвер для парсера и внешних препроцессоров.