Also, I checked through the disassembly for these functions, just to
check that GCC isn't inserting comparisons or branches where they aren't
wanted. It isn't -- at least, not yet.
*
* Arguments: @uint32 x, y@ = two 32-bit unsigned integers
*
*
* Arguments: @uint32 x, y@ = two 32-bit unsigned integers
*
- * Returns: One if %$x \le y$% are equal, zero if @x@ is greater.
+ * Returns: One if %$x \le y$%, zero if @x@ is greater.
*
* Use: Answers whether two integers are ordered, in constant time.
*/
*
* Use: Answers whether two integers are ordered, in constant time.
*/
*
* Arguments: @uint32 x, y@ = two 32-bit unsigned integers
*
*
* Arguments: @uint32 x, y@ = two 32-bit unsigned integers
*
- * Returns: One if %$x \le y$% are equal, zero if @x@ is greater.
+ * Returns: One if %$x \le y$%, zero if @x@ is greater.
*
* Use: Answers whether two integers are ordered, in constant time.
*/
*
* Use: Answers whether two integers are ordered, in constant time.
*/