in z3tracer/src/syntax.rs [206:212]
fn visit(&'a self, f: &mut F) -> Result<(), E>; } impl<'a, T, F, E> Visitor<'a, F, E> for Vec<T> where T: Visitor<'a, F, E>, {