Module formality_core::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: