| http://www.w3.org/ns/prov#value | - This does not have anything in particular to do with templates, the program is just using a pointer to member because it involves two underlying types T and C, and template overload resolution chooses one of the functions based on how specifically the T and C in the signature match the T and C parts of the argument type.
|