fn visit()

in z3tracer/src/syntax.rs [213:218]


    fn visit(&'a self, f: &mut F) -> Result<(), E> {
        for x in self {
            x.visit(f)?;
        }
        Ok(())
    }