Method write

src/main/java/wyil/interpreter/AbstractSemantics.java:373–373

Write a value to the given position in this array, returning the updated array. @param index @param value @return

(Int index, RValue value)

			 * @return
			 */
			public Array write(Int index, RValue value);

			/**
			 * Return the length of this array.