Method add

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

Return the sum of this value and a given value. For example, 1 and 2 give 3 . @param rhs @return

(Int rhs)

			 * @return
			 */
			public Int add(Int rhs);

			/**
			 * Return the subtraction of a given value from this value. For