Module visitor

Traits

• ResultsVisitor
  A visitor over the results of an Analysis.

Functions

• visit_results
  Calls the corresponding method in ResultsVisitor for every location in a mir::Body with the dataflow state at that location.