Traits for visiting bits of IR.
This module contains impls of
TypeVisitablefor those types that introduce binders.
This module contains “rote and uninteresting” impls of
TypeVisitablefor various types. In general, we prefer to derive
TypeVisitable, but sometimes that doesn’t work for whatever reason.
For types where “visit” invokes a callback on the
TypeSuperVisitabletrait captures the recursive behavior that visits all the contents of the type.
Applies the given
visitorto a value, producing a visited result of type
A “visitor” recursively folds some term – that is, some bit of IR, such as a
Goal, and computes a value as a result.