pub trait TypeSuperFoldable<I: Interner>: TypeFoldable<I> {
    fn super_fold_with<E>(
        folder: &mut dyn TypeFolder<I, Error = E>,
        outer_binder: DebruijnIndex
    ) -> Result<Self, E>; }
Expand description

For types where “fold” invokes a callback on the TypeFolder, the TypeSuperFoldable trait captures the recursive behavior that folds all the contents of the type.

Required Methods

Recursively folds the value.


“Super fold” for a type invokes te more detailed callbacks on the type

Superfold folds recursively.