Simplest C header file

typedef float tipo_in;
typedef double tipo_out;

tipo_out funzioncina(tipo_in a);