在 F 的后置条件表达式中，表示对该后置条件表达式进行评估的函数调用的返回值对象。
在 F 的后置条件表达式中，表示对该后置条件表达式进行评估的函数调用的返回值对象。此属性的类型为函数或访问函数类型的结果子类型，但 Post'Class 后置条件表达式中的函数具有控制结果或控制访问结果除外；在这些情况下，属性的类型在 Post'Class 的名称解析规则中描述。
F’Result return X
