4.3〜5.2まで。 4.4 型推論が完全である（完全性）＝OCamlは惜しいが完全ではない（らしい） 健全性＝型チェックが通ったならば、その後に型に関する実行時エラーとなることはない。 4.6 .mlファイルではインタプリタと違い、;;が不要とあるが、 正しくは省…