TermExt

furiosa_visa_std::prelude

Trait TermExt 

Source 
pub trait TermExt {
    // Required methods
    fn depth(&self) -> usize;
    fn idents(&self) -> RVec<Ident>;
}
Expand description

Methods for Term.

Required Methods§

Source

fn depth(&self) -> usize

Returns the depth of the term.

Source

fn idents(&self) -> RVec<Ident>

Returns the idents contained in this term.

Implementors§