pub fn visit_iter<'i, T, I, B>(
    it: impl Iterator<Item = T>,
    visitor: &mut dyn TypeVisitor<I, BreakTy = B>,
    outer_binder: DebruijnIndex
) -> ControlFlow<B> where
    T: TypeVisitable<I>,
    I: 'i + Interner
Expand description

Convenience function to visit all the items in the iterator it.