Clarify all functions operate modulo N
Signed-off-by: Werner Lewis <werner.lewis@arm.com>
diff --git a/library/bignum_mod.h b/library/bignum_mod.h
index 497f4b5..a8e705e 100644
--- a/library/bignum_mod.h
+++ b/library/bignum_mod.h
@@ -46,15 +46,15 @@
* sizes. Most functions will not check that input values are in canonical
* form (i.e. that \p A < \p N), this is only checked during setup of a
* residue structure.
- * - **Modular representatives**: functions that operate modulo \p N expect
- * all modular inputs to be in the range [0, \p N - 1] and guarantee outputs
- * in the range [0, \p N - 1]. Residues are setup with an associated modulus,
- * and operations are only guaranteed to work if the modulus is associated
- * with all residue parameters. If a residue is passed with a modulus other
- * than the one it is associated with, then it may be out of range. If an
- * input is out of range, outputs are fully unspecified, though bignum values
- * out of range should not cause buffer overflows (beware that this is not
- * extensively tested).
+ * - **Modular representatives**: all functions expect inputs to be in the
+ * range [0, \p N - 1] and guarantee outputs in the range [0, \p N - 1].
+ * Residues are set up with an associated modulus, and operations are only
+ * guaranteed to work if the modulus is associated with all residue
+ * parameters. If a residue is passed with a modulus other than the one it
+ * is associated with, then it may be out of range. If an input is out of
+ * range, outputs are fully unspecified, though bignum values out of range
+ * should not cause buffer overflows (beware that this is not extensively
+ * tested).
*/
/*
diff --git a/library/bignum_mod_raw.h b/library/bignum_mod_raw.h
index 93df46f..174cc6e 100644
--- a/library/bignum_mod_raw.h
+++ b/library/bignum_mod_raw.h
@@ -51,11 +51,11 @@
* modulus may lead to buffer overflows. Some functions which allocate
* memory or handle reading/writing of bignums will return an error if
* memory allocation fails or if buffer sizes are invalid.
- * - **Modular representatives**: functions that operate modulo \p N expect
- * all modular inputs to be in the range [0, \p N - 1] and guarantee outputs
- * in the range [0, \p N - 1]. If an input is out of range, outputs are
- * fully unspecified, though bignum values out of range should not cause
- * buffer overflows (beware that this is not extensively tested).
+ * - **Modular representatives**: all functions expect inputs to be in the
+ * range [0, \p N - 1] and guarantee outputs in the range [0, \p N - 1]. If
+ * an input is out of range, outputs are fully unspecified, though bignum
+ * values out of range should not cause buffer overflows (beware that this is
+ * not extensively tested).
*/
/*