判斷提示
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
