Struct mm0b_parser::TermRef

pub struct TermRef<'a> {
    pub tid: TermId,
    // some fields omitted
}

A reference to an entry in the term table.

Fields

tid: TermId

The index into the term table.

Implementations

impl<'a> TermRef<'a>

pub fn def(&self) -> bool

Returns true if this is a def, false for a term.

pub fn sort(&self) -> SortId

The return sort of this term/def.

pub fn args(&self) -> &[Arg]

The list of arguments of this term/def, not including the return).

pub fn args_and_ret(&self) -> &[Arg]

Get the termdef’s arguments as a slice, INCLUDING the return type

pub fn ret(&self) -> Arg

The return sort and dependencies.

pub fn unify(&self) -> UnifyIter<'a>

The beginning of the unify stream for the term.

Trait Implementations

impl<'a> Clone for TermRef<'a>

fn clone(&self) -> TermRef<'a>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for TermRef<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Copy for TermRef<'a>