Trait Visitor
Other items inz3tracer::syntax
pub trait Visitor<'a, F, E> { fn visit(&'a self, f: &mut F) -> Result<(), E>; }
Visitor trait for syntactic constructs.
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>,
impl<'a, T, F, E> Visitor<'a, F, E> for Option<T> where T: Visitor<'a, F, E>,
impl<'a, T1, T2, F, E> Visitor<'a, F, E> for (T1, T2) where T1: Visitor<'a, F, E>, T2: Visitor<'a, F, E>,
impl<'a, F, E> Visitor<'a, F, E> for Equality where F: FnMut(&'a Ident) -> Result<(), E>,
impl<'a, F, E> Visitor<'a, F, E> for MatchedTerm where F: FnMut(&'a Ident) -> Result<(), E>,
impl<'a, F, E> Visitor<'a, F, E> for QiFrame where F: FnMut(&'a Ident) -> Result<(), E>,
impl<'a, F, E> Visitor<'a, F, E> for Term where F: FnMut(&'a Ident) -> Result<(), E>,
impl<'a, F, E> Visitor<'a, F, E> for Ident where F: FnMut(&'a Ident) -> Result<(), E>,
impl<'a, F, E> Visitor<'a, F, E> for Literal where F: FnMut(&'a Ident) -> Result<(), E>,
impl<'a, F, E> Visitor<'a, F, E> for QiInstance where F: FnMut(&'a Ident) -> Result<(), E>,