# define F25519_IMPL 10
#endif
+#if F25519_IMPL == 26
+ typedef int32 f25519_piece;
+#endif
+#if F25519_IMPL == 10
+ typedef int16 f25519_piece;
+#endif
+
/*----- Functions provided ------------------------------------------------*/
/* --- @f25519_set@ --- *
* toleration of them is considered a performance feature.
*
* Some specifications, e.g., RFC7748, require the topmost bit
- * (i.e., bit 7 of @wv[31]@) to be ignored. Callers
+ * (i.e., bit 7 of @xv[31]@) to be ignored. Callers
* implementing such specifications should clear the bit
* explicitly. (It's much easier for a caller who wants the bit
* to be ignored to clear it than for a caller who wants the bit