" coords="0,0,151,24"/>
  </map>
</div></div>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a id="pub-types" name="pub-types"></a>
Public Types</h2></td></tr>
<tr class="memitem:a4e9dd1dd41a6b500cdc156a6645d64df" id="r_a4e9dd1dd41a6b500cdc156a6645d64df"><td class="memItemLeft" align="right" valign="top"><a id="a4e9dd1dd41a6b500cdc156a6645d64df" name="a4e9dd1dd41a6b500cdc156a6645d64df"></a>
using&#160;</td><td class="memItemRight" valign="bottom"><b>this_type</b> = 