_Curr_, A synonym for the object that is currently being annotated. ... the value expr as it would have been evaluated in precondition.
確定! 回上一頁