在 F 的後置條件表示式中，表示對該後置條件表示式進行評估的函式呼叫的返回值物件。
在 F 的後置條件表示式中，表示對該後置條件表示式進行評估的函式呼叫的返回值物件。此屬性的型別為函式或訪問函式型別的結果子型別，但 Post'Class 後置條件表示式中的函式具有控制結果或控制訪問結果除外；在這些情況下，屬性的型別在 Post'Class 的名稱解析規則中描述。
F’Result return X
