Module fold

Traits

CoreFold

Type Aliases

SubstitutionFn

Invoked for each variable that we find when folding, ignoring variables bound by binders that we traverse. The arguments are as follows: