Do functions have a type like other identifiers? If yes how is it derived? (In C program)

Answer 1

The return type is defined within the function declaration, e.g.
-> int main() has return type int
The same is indicated by:
-> return 0 which is an int as well

If you are using unknown libraries and do not know the implementation, you should take return values very carefully.