postconditions的意思|示意

---

postconditions相关短语

1、 Same or stronger postconditions 更强的后置条件