此函式庫是 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 | termifno 資料庫的基本介面 |
| Warnings | 警告定義 |
| Pparse | 剖析器和外部前處理器的驅動程式。 |