后置条件示例：新的余额就是老的余额扣除取款金额。
An example postcondition: the new balance is the old balance, less the amount withdrawn.
youdao
应用推荐
模块上移
模块下移
不移动