Type Definition moore_svlog::ast::Procedure

type Procedure<'a> = Node<'a, ProcedureData<'a>>;

Trait Implementations

impl<'a> ScopedNode<'a> for Procedure<'a>