small refactor + docstring expansion

src/lib.rs

@@ -115,6 +115,11 @@ use core::option::Option;
 pub struct Choice(u8);
 
 impl Choice {
+    #[inline]
+    pub(crate) const fn of_bool(of: bool) -> Self {
+        Self(of as u8)
+    }
+
     /// Unwrap the `Choice` wrapper to reveal the underlying `u8`.
     ///
     /// # Note
@@ -326,7 +331,7 @@ pub struct IteratedEq {
 impl IteratedOperation for IteratedEq {
     fn initiate() -> Self {
         Self {
-            still_equal: Choice::from(1),
+            still_equal: Choice::of_bool(true),
         }
     }
     fn extract_result(self) -> Choice {
@@ -335,7 +340,10 @@ impl IteratedOperation for IteratedEq {
 }
 
 impl IteratedEq {
-    /// Unconditionally AND internal state with the result of an "equals" comparison.
+    /// Unconditionally AND internal state with the result of a constant-time "equals" comparison.
+    ///
+    /// [`Self::initiate()`] begins with internal state set to "true", so we can think of this
+    /// strategy as "assuming equal until proven wrong".
     #[inline]
     pub fn apply_eq<T: ConstantTimeEq + ?Sized>(&mut self, a: &T, b: &T) {
         self.still_equal &= a.ct_eq(b);