Enum BindingRef

pub enum BindingRef<'a, T, B> {
    Normal(&'a Key, &'a NormalTermDefinition<T, B>),
    Type(&'a TypeTermDefinition),
}

Term binding reference.

Variants

Normal(&'a Key, &'a NormalTermDefinition<T, B>)

Normal term definition.

Type(&'a TypeTermDefinition)

@type term definition.

Implementations

impl<'a, T, B> BindingRef<'a, T, B>

pub fn term(&self) -> BindingTerm<'a>

Returns a reference to the bound term.

pub fn definition(&self) -> TermDefinitionRef<'a, T, B>

Returns a reference to the bound term definition.