Struct ThmRef

pub struct ThmRef<'a> {
    pub tid: ThmId,
    /* private fields */
}

A reference to an entry in the theorem table.

Fields

tid: ThmId

The index into the theorem table.

Implementations

impl<'a> ThmRef<'a>

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

The list of arguments of this axiom/theorem.

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

The beginning of the unify stream.

Trait Implementations

impl<'a> Clone for ThmRef<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ThmRef<'a>

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

Formats the value using the given formatter.

impl<'a> Copy for ThmRef<'a>