此函式庫是 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 | 解析器和外部前處理器的驅動程式。 |