Document ct_lt_mpi_uint
diff --git a/library/bignum.c b/library/bignum.c
index 749b68b..cd26409 100644
--- a/library/bignum.c
+++ b/library/bignum.c
@@ -1071,6 +1071,13 @@
     return( 0 );
 }
 
+/** Decide if an integer is less than the other, without branches.
+ *
+ * \param x         First integer.
+ * \param y         Second integer.
+ *
+ * \return          1 if \p x is less than \p y, 0 otherwise
+ */
 static unsigned ct_lt_mpi_uint( const mbedtls_mpi_uint x,
         const mbedtls_mpi_uint y )
 {