element also really
元素也真的
以上为机器翻译结果，长、整句建议使用 人工翻译 。
There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts.
还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。
youdao
应用推荐
模块上移
模块下移
不移动