此库是 OCaml 编译器内部 API 的一部分，而不是语言标准库。不同版本之间没有兼容性保证，因此针对这些模块编写的代码必须愿意依赖于特定的 OCaml 编译器版本。
| Ast_helper | 用于生成 Parsetree 片段的辅助函数 |
| Ast_invariants | 检查 AST 不变式 |
| Ast_iterator |
|
| Ast_mapper | -ppx 重写器的接口 |
| Asttypes | parsetree 和 typedtree 使用的辅助 AST 类型。 |
| Attr_helper | 属性的辅助函数 |
| Builtin_attributes | 内置属性的支持 |
| CamlinternalMenhirLib | |
| Depend | 模块依赖关系。 |
| Docstrings | 文档注释 |
| Lexer | 词法分析器 |
| Location | 源代码位置（位置范围），在 parsetree 中使用。 |
| Longident | 长标识符，在 parsetree 中使用。 |
| Parse | 解析器的入口点 |
| Parser | |
| Parsetree | 解析生成的抽象语法树 |
| Pprintast |
|
| Printast |
|
| 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 | |
| Identifiable | 各种事物的通用数据结构的统一接口。 |
| Int_replace_polymorphic_compare | |
| Lazy_backtrack | |
| Load_path | 包含目录的管理。 |
| Local_store | 此模块提供了一些创建引用（和哈希表）的功能，这些引用可以轻松地进行快照并恢复到任意版本。 |
| Misc | 各种有用的类型和函数 |
| Numbers | 关于数字的模块，其中一些满足 |
| Profile | 编译器性能记录 |
| Strongly_connected_components | Kosaraju 算法用于强连通分量。 |
| Targetint | 目标处理器原生整数。 |
| Terminfo | terminfo 数据库的基本接口 |
| Warnings | 警告定义 |
| Pparse | 解析器和外部预处理器的驱动程序。 |