Expand description
Traits for visiting bits of IR.
Re-exports
pub use visitors::VisitExt;
Modules
TypeVisitor helpers
Traits
For types where “visit” invokes a callback on the
visitor
, the
TypeSuperVisitable
trait captures the recursive behavior that visits all
the contents of the type.Applies the given
visitor
to a value, producing a visited result
of type TypeVisitor::Result
.A “visitor” recursively folds some term – that is, some bit of IR,
such as a
Goal
, and computes a value as a result.