| http://www.w3.org/ns/prov#value | - Now, since it knows the types in question - and the type of the value being passed to the function, it is not that much more to do, IMHO. Basically, if it would error with an amiguous implicit conversion, do a search of the minimum of the possible types that are larger than the current type.
|
