Traits for visiting bits of IR.
This module contains impls of
TypeVisitable for those types that
This module contains “rote and uninteresting” impls of
various types. In general, we prefer to derive
sometimes that doesn’t work for whatever reason.
For types where “visit” invokes a callback on 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
A “visitor” recursively folds some term – that is, some bit of IR,
such as a
Goal, and computes a value as a result.