An example postcondition: the new balance is the old balance, less the amount withdrawn.

后置条件示例：新的余额就是老的余额扣除取款金额。

youdao

An example postcondition: the new balance is the old balance, less the amount withdrawn.

后置条件示例：新的余额就是老的余额扣除取款金额。

youdao