表達式 assert 是可用來測試表達式的偵錯功能。 在偵錯模式失敗時，判斷提示會產生系統錯誤對話方塊。
語法
assert condition
備註
表示式 assert 的類型為 bool -> unit。
函 assert 式會解析為 Debug.Assert。 這表示其行為與直接呼叫 Debug.Assert 相同。
只有在您在偵錯模式中編譯時，才會啟用判斷提示檢查;也就是說，如果已定義常數 DEBUG ，則為 。 根據預設，在項目系統中， DEBUG 常數是在 [偵錯] 組態中定義，而不是在 [發行] 組態中定義。
使用 F# 例外狀況處理無法攔截判斷提示失敗錯誤。
範例
下列程式代碼範例說明表達式的使用 assert 方式。
let subtractUnsigned (x : uint32) (y : uint32) =
assert (x > y)
let z = x - y
z
// This code does not generate an assertion failure.
let result1 = subtractUnsigned 2u 1u
// This code generates an assertion failure.
let result2 = subtractUnsigned 1u 2u
