diff --git a/components/selectors/parser.rs b/components/selectors/parser.rs
index 18447d1f9a5..5543914c3f6 100644
--- a/components/selectors/parser.rs
+++ b/components/selectors/parser.rs
@@ -19,7 +19,7 @@ use std::borrow::{Borrow, Cow};
 use std::fmt::{self, Display, Debug, Write};
 use std::iter::Rev;
 use std::slice;
-use visitor::SelectorVisitor;
+pub use visitor::{Visit, SelectorVisitor};
 
 /// A trait that represents a pseudo-element.
 pub trait PseudoElement : Sized + ToCss {
@@ -326,14 +326,6 @@ impl AncestorHashes {
     }
 }
 
-pub trait Visit {
-    type Impl: SelectorImpl;
-
-    fn visit<V>(&self, visitor: &mut V) -> bool
-    where
-        V: SelectorVisitor<Impl = Self::Impl>;
-}
-
 impl<Impl: SelectorImpl> Visit for Selector<Impl> {
     type Impl = Impl;
 
diff --git a/components/selectors/visitor.rs b/components/selectors/visitor.rs
index 929040f9ffb..d0064194790 100644
--- a/components/selectors/visitor.rs
+++ b/components/selectors/visitor.rs
@@ -44,3 +44,31 @@ pub trait SelectorVisitor {
         true
     }
 }
+
+/// Enables traversing selector components stored in various types
+pub trait Visit {
+    /// The type parameter of selector component types.
+    type Impl: SelectorImpl;
+
+    /// Traverse selector components inside `self`.
+    ///
+    /// Implementations of this method should call `SelectorVisitor` methods
+    /// or other impls of `Visit` as appropriate based on the fields of `Self`.
+    ///
+    /// A return value of `false` indicates terminating the traversal.
+    /// It should be propagated with an early return.
+    /// On the contrary, `true` indicates that all fields of `self` have been traversed:
+    ///
+    /// ```rust,ignore
+    /// if !visitor.visit_simple_selector(&self.some_simple_selector) {
+    ///     return false;
+    /// }
+    /// if !self.some_component.visit(visitor) {
+    ///     return false;
+    /// }
+    /// true
+    /// ```
+    fn visit<V>(&self, visitor: &mut V) -> bool
+    where
+        V: SelectorVisitor<Impl = Self::Impl>;
+}