Correct an example

[Arthur-Milchior]

The function, as written, is not valid. a is not bounded. Given the parameter and the return type, I assume we are considering the identity function for u32. In this case, the return value should be b. As I was touching this code, I considered also changing the function name, for the sake of the clarity.