Index: src/Common/PassVisitor.h
===================================================================
--- src/Common/PassVisitor.h	(revision 13932f1466902c0dc5d4b542261856dbf70e34fa)
+++ src/Common/PassVisitor.h	(revision 5d88a0a30ce364aa287b675ae0958dce59edfc6a)
@@ -6,5 +6,14 @@
 //Deep magic (a.k.a template meta programming) to make the templated visitor work
 //Basically the goal is to make 2 previsit_impl
-// 1 - 
+// 1 - Use when a pass implements a valid previsit. This uses overloading which means the any overload of 
+//     'pass.previsit( node )' that compiles will be used for that node for that type
+//     This requires that this option only compile for passes that actually define an appropriate visit.
+//     SFINAE will make sure the compilation errors in this function don't halt the build.
+//     See http://en.cppreference.com/w/cpp/language/sfinae for details on SFINAE
+// 2 - Since the first implementation might not be specilizable, the second implementation exists and does nothing.
+//     This is needed only to eliminate the need for passes to specify any kind of handlers.
+//     The second implementation only works because it has a lower priority. This is due to the bogus last parameter.
+//     The second implementation takes a long while the first takes an int. Since the caller always passes an literal 0
+//     the first implementation takes priority in regards to overloading.
 //-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 template<typename pass_type, typename node_type>
@@ -30,6 +39,7 @@
 
 //-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-//Templated visitor type
-
+// Templated visitor type
+// To use declare a PassVisitor< YOUR VISITOR TYPE >
+// The visitor type should specify the previsit/postvisit for types that are desired.
 //-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
 template< typename pass_type >