<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>> Does anyone have any ideas on how to do this?<br>
<br>
</span>That functionality doesn't currently exist. However, it should be<br>
relatively straight-forward to add. I'm happy to do so if you would<br>
find it useful.<br>
<br></blockquote><div>Yes, it is something that I would find useful.  Also, it seems like something that should be there anyway, since it exists for type template parameters. </div></div><br></div></div>