 
 
 (defn tree-shake
-  "λ Whole-AST → options → Whole-AST
+  "(λ Whole-AST → options) → Whole-AST
 
   Implements def elimination on the basis of prior reachability
   analysis. Uses the reachability analysis as proof that a given def



(defn trim-with-emit-set
  "λ Whole-AST → #{Var} → Whole-AST

  Rewrites a Whole-AST to eliminate definitions of vars which are not
  used. Note that this operation _preserves_ non def top level forms



(defn analyze-var-dependencies
  "(λ Whole-AST → options) → Whole-AST

  Implements an analysis pass which creates the following annotations
  in the supplied whole program AST.
