| http://www.w3.org/ns/prov#value | - Bar is specialized by declaring that the first argument is T (which can still be anything), and by specifying that the second argument is a vector of which the elements are of the same type as the elements of type T, assuming that T actually has a typedefs for value_type.
|