| http://www.w3.org/ns/prov#value | - this approach, is: if you have for example a concept Incrementable (meaning you can do ++<variable>), and variables modelling this, such as Int, Float, etc., what will something like the following (C++ syntax) mean in Heron:void f(Incrementable i){ int value=i;}What I mean, is, should the above succeed or not? f() might be called with an int, but it might also (in C++) be called with something t
|
