PDF 文件 英文版 The Objective Caml system release 3.11 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) November 26, 2008