If <code>>></code> is not specified for a certain parameter, then the ownership of that parameter <b>doesn't change</b>. For example:</p>

<pre>
<code>
transaction spend(Money@Owned >> Unowned m) { // m is Owned initially but must be Unowned at the end.
	// implementation not shown
};

transaction testSpend(Money@Owned >> Unowned m) {
	spend(m);
	// m is now of type Money@Unowned due to specification on spend() declaration.
}

transaction foo(Money@Owned m) { //this is the equivalent to Money@Owned >> Owned