Traits

Things that can be visited by a ResultsVisitor.

Functions

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