| http://www.w3.org/ns/prov#value | - ndexes and65| others that must be parametric. (We can drop that distinction for66| indexed data types as they only ever induce injective type functions;67| ie, ones for which decomposition is valid.)68|69| However, for every individual instance of an indexed data type, we70| could71| peel of any trailing variable-only argum
|
