Type Definition moore_svlog_syntax::ast::Expr

type Expr<'a> = Node<'a, ExprData<'a>>;

Trait Implementations

impl<'a> BasicNode<'a> for Expr<'a>

fn type_name(&self) -> &'static str

Get the type name of the node.

fn as_all(&'a self) -> AllNode<'a>

Convert this node to the exhaustive AllNode enum.

fn as_any(&'a self) -> &'a dyn AnyNode<'a>

Convert this node to an AnyNode trait object.

impl<'a> WalkVisitor<'a> for Expr<'a>

fn walk(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over self.

Calling this function is equivalent to calling:

• visitor.pre_visit_expr(self)
• self.accept(visitor)
• visitor.post_visit_expr(self);