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.