In reply to chr_sue:
Well, it’s maybe not an extension then. Could we call it specialization then?
How can I specialize only one parameter and keep the other as is?
In reply to chr_sue:
Well, it’s maybe not an extension then. Could we call it specialization then?
How can I specialize only one parameter and keep the other as is?