I am looking for the source and/or proper definition for the int() function. I have searched through the source in Arduino.app, without much success.
The reference gives a terse explanation
int(x) x: a value of any type Converts a value to the int data type
Passing 1, '1' or 49 returns the int 1. I haven't tested other types.
This seems to be an Arduino specific function - it doesn't seem to be in any c/c++ library.