ation. For example:
<pre>
<code>
transaction withdraw() returns Money@Owned {
    // body not shown
    return m; //where m is of type Money@Owned
}
</code>
</pre>
If we did not return <code>m</code> within the transaction, or if <code>m</code> was not of type <code>Money@Owned</code>, we would get an error.
</p>

<br/>
<h2>Transaction parameters</h2>
<p>When a reference is passed to a transaction as an argument, the transaction's declaration specifies initial and final ownership with <code>>></code>. 
    