<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="glib_000.html#K3" title="GLIB_000:func.3">SourceSelector</a> <a onclick="hs(this)" href="javascript:()">GLIB_000:def 3 : <br/></a><span> <a href="glib_000.html#K3" title="GLIB_000:func.3">SourceSelector</a>  <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> 3;<br/></span></div>
