Trait Resolve 

pub trait Resolve<'a> {
    type Output;

    // Required method
    fn resolve(&self, interner: &'a Interner) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn resolve(&self, interner: &'a Interner) -> Self::Output

Implementors

impl<'a, 'b> Resolve<'a> for LogicExpr<'b>

type Output = ExprView<'a>

impl<'a, 'b> Resolve<'a> for Term<'b>

type Output = TermView<'a>

impl<'a, 'b> Resolve<'a> for NounPhrase<'b>

type Output = NounPhraseView<'a>