.mli で終わる引数は翻訳単位のインタフェースソースファイルとして扱われます。 インタフェースには翻訳単位の公開する名前を指定し、値の名前とその型の宣言、public なデータ型の定義、抽象データ型の宣言などを行ないます。 ocamlc は x.mli からコンパイル済みインタフェースファイル x.cmi を生成します。

.ml で終わる引数は翻訳単位の実装ソースファイルとして扱われます。 実装には翻訳単位の公開する名前の定義や、副作用目的で評価する式を含めます。 ocamlc コンパイラは x.ml からコンパイル済みオブジェクトバイトコード x.cmo を生成します。

インタフェースファイル x.mli が存在する場合、対応するコンパイル済みインタフェース x.cmi が存在するものと仮定し、これと実装 x.ml が適合するか検査します。 インタフェース x.mli が存在しない場合には、 x.ml をコンパイルしたときに、オブジェクトコード x.cmo に加えて x.cmi も生成します。 生成された x.cmi は x.ml で定義されものをすべて公開するインタフェースになります。

.cmo で終わる引数はコンパイル済みオブジェクトバイトコードとして扱われます。 これらのファイルを、 .ml ファイル引数（あれば）をコンパイルして得られたオブジェクトファイルに Objective Caml の標準ライブラリを加えたものとリンクし、スタンドアロン実行プログラムを生成します。 コマンドラインでの .cmo 引数と .ml 引数の順番には意味があります。 各翻訳単位はコマンドラインで指定された順番で実行時に初期化され、未初期化の要素を使用しようとするとリンク時にエラーになります。 したがって、 x.cmo は翻訳単位 x を参照する .cmo ファイルよりも先に指定しなければなりません。

.cma で終わる引数はオブジェクトバイトコードのライブラリとして扱われます。 オブジェクトバイトコードのライブラリは複数のオブジェクトバイトコードファイル（.cmo）をひとつのファイルにまとめたものです。 ライブラリは ocamlc -a で作成できます（下の -a オプションの説明を参照してください）。 ライブラリ中のオブジェクトファイルは通常の .cmo と同じように、 .cma ファイルを作成した時に指定した順番でリンクされます（上記参照）。 ただひとつ異なる点として、ライブラリ中のオブジェクトファイルでプログラム中のどこからも参照されないものはリンクされません。

.c で終わる引数は C コンパイラに渡して .o （Windows では .obj）オブジェクトファイルを生成します。 このオブジェクトファイルは -custom フラグを設定した場合にプログラムにリンクされます（下の -custom の説明を参照してください）。

.o または .a （Windows では .obj または .lib）で終わる引数は C のオブジェクトファイルやライブラリとみなされます。 -custom モードでリンクしていると、これらは C のリンカに渡されます（下の -custom の説明を参照してください）。

.so（Windows では .dll）で終わる引数は C の共有ライブラリ（DLL）とみなされます。 リンク時にCaml コードから参照される外部 C 関数をそこから検索し、生成されるバイトコード実行ファイル中にその共有ライブラリの名前を出力します。 ランタイムシステム ocamlrun はプログラム起動時に必要な共有ライブラリを動的にロードします。