syntax_data: {"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub trait TypeSuperFoldable<I: Interner>: TypeFoldable<I> {
context_before: // This trait is implemented for types of interest.
context_after:     /// Provides a default fold for a recursive type of interest. This should