Module fold

Structs

BottomUpFolder

BoundVarReplacer 🔒

Replaces the escaping bound vars (late bound regions or bound types) in a type.

FnMutDelegate

A simple delegate taking 3 mutable functions. The used functions must always return the same result for each bound variable, no matter how frequently they are called.

Traits

BoundVarReplacerDelegate

A delegate used when instantiating bound vars.