rs is to allow
comparison to work in some "less surprising" way (relative to the primitive
comparison operators) when two types have a natural ordering between them.
</p>
<p>The polymorphic comparison operators are <code class="mendoza-code">compare=</code>, <code class="mendoza-code">compare&lt;</code>,
<code class="mendoza-code">compare&lt;=</code>, <code class="mendoza-code">compare&gt;</code>, <code class="mendoza-code">compare&gt;=</code>.  In general, they work
similarly to the primitive operators:
</