Type Definition moore_svlog_syntax::ast::Type

pub type Type<'a> = Node<'a, TypeData<'a>>;

Implementations

impl<'a> Type<'a>

pub fn is_implicit(&self) -> bool

Check if this is an implicit type.

Trait Implementations

impl<'a> BasicNode<'a> for Type<'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 Type<'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_type(self)
• self.accept(visitor)
• visitor.post_visit_type(self);