The guard expressions in this example illustrate how to specify a value constraint (as in :(int >= 0) or :(0..balance)).
本例中的守卫表达式说明了如何指定值约束（如:(int >= 0)或:(0..balance)）。