stack-checker.*: misc doc additions

basis/stack-checker/branches/branches-docs.factor

@@ -0,0 +1,6 @@
+USING: assocs help.markup help.syntax ;
+IN: stack-checker.branches
+
+HELP: collect-variables
+{ $values { "hash" assoc } }
+{ $description "Gathers all variables used during inferencing into a hash." } ;

basis/stack-checker/recursive-state/recursive-state-docs.factor

@@ -0,0 +1,6 @@
+USING: compiler.tree effects help.markup help.syntax math quotations ;
+IN: stack-checker.recursive-state
+
+HELP: recursive-quotation?
+{ $values { "quot" quotation } }
+{ $description "Checks if the quotation is among the registered recursive quotations." } ;

basis/stack-checker/visitor/visitor-docs.factor

@@ -11,3 +11,7 @@ HELP: #>r,
     "V{\n    T{ #shuffle\n        { mapping { { 124 123 } } }\n        { in-d { 123 } }\n        { out-r { 124 } }\n    }\n}"
   }
 } ;
+
+HELP: #drop,
+{ $values { "values" sequence } }
+{ $class-description "Outputs a " { $link #shuffle } " instruction which drops one or more values from the data stack." } ;