For example, one can define multiple extern functions, or P4 functions, with the same name but different signatures, e.g. different numbers of parameters.
Should it be possible to import only some of those definitions?
If so, what syntax would you propose to do so?
If we simply restrict this proposal to say "either you import all definitions with the same name, or none of them", then there is no need to answer this question.
For example, one can define multiple extern functions, or P4 functions, with the same name but different signatures, e.g. different numbers of parameters.
Should it be possible to import only some of those definitions?
If so, what syntax would you propose to do so?
If we simply restrict this proposal to say "either you import all definitions with the same name, or none of them", then there is no need to answer this question.