Objective Caml ではデバッグのために assert を入れることが出来ます。assert expr という式は expr が true の時 () を返し、false の時例外 Assert_failure を発生します。Assert_failure には引数としてソースファイル名と expr の位置が指定されています。Assertion チェックを行わない場合は、コンパイラオプションに -noassert を指定してください。

特別な場合として、assert false は型多相な raise (Assert_failure ...) に還元されます (-noassert オプションを指定しても Assertion チェックが行われます) 。