| http://www.w3.org/ns/prov#value | - If t is a reference type, then all elements are initialized to null.If a has type u[] and is a reference to an array with length ?? and element type t then:?? a.length is the length ?? of a, that is, the number of elements in a.?? the array access a[i] denotes element number i of a, counting from 0; it has type u.
|
