dynlink 函式庫支援在執行中的 bytecode 程式中安全地動態載入與連結 bytecode 物件檔案（.cmo 與 .cma 檔案），或在執行中的原生程式中載入原生外掛（通常是 .cmxs 檔案）。類型安全透過限制載入的物件檔案可存取的執行程式中的模組集合，並檢查執行程式和載入的物件檔案是否已針對這些模組的相同介面進行編譯來確保。在原生程式碼中，也會對實作進行一些相容性檢查（以避免跨模組最佳化時發生錯誤）；在建置原生外掛時隱藏 .cmx 檔案可能很有用，這樣它們就可以保持獨立於主程式中模組的實作。
使用 dynlink 函式庫的程式只需包含 -I +dynlink 的 dynlink 函式庫目錄，並將 dynlink.cma 或 dynlink.cmxa 與其物件檔案和其他函式庫連結。
注意：為了確保動態載入的模組可以存取主程式可見的所有函式庫（而不僅僅是主程式中實際使用的那些函式庫部分），使用 dynlink 函式庫的程式應使用 -linkall 進行連結。