fn visit()

in z3tracer/src/syntax.rs [225:230]


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