</li>
</ul>

<p>
The quantification "the set of all non-interface types" refers not just to all (non-interface)
types declared in the program at hand, but all possible types in all possible programs, and
hence is infinite.
Similarly, given the set of all non-interface types that implement a particular method, the

      <!-- UTF-16 LE/BE -->
      <match value="0xFFFE3C003F0078006D006C00" type="string" offset="0"/>
      <match value="0xFEFF003C003F0078006D006C" type="string" offset="0"/>
      <!-- TODO: Add matches for the other possible XML encoding schemes -->
    </magic>
    <!-- XML files can start with a comment but then must not contain processing instructions.