Module chalk_ir::fold::binder_impls

source ยท
Expand description

This module contains impls of TypeFoldable for those types that introduce binders.

The more interesting impls of TypeFoldable remain in the fold module.