[billjings]

The point is not whether you have sufficient information to infer the usage. Do you have to infer the idiom at all? Usage is homomorphic with declaration in C, so this step is unnecessary.

[sausagefeet]

I don't follow what you mean, I'm saying a list of function types contains vastly more useful information than a list of C function types.