pub fn eval_term(
        &self,
        metas: &meta::Env,
        span: impl Into<Option<FileSpan>>,
        term: &Rc<syntax::Term>,
    ) -> Result<Rc<domain::Value>, Diagnostic<FileSpan>> {
        nbe::eval_term(self.prims(), metas, self.values(), span, term)
    }
/// Evaluate a term using the evaluation environment
Evaluate a term using the evaluation environment
Evaluate a term using the evaluation environment
pub fn eval_term(
        &self,
        metas: &meta::Env,
        span: impl Into<Option<FileSpan>>,
        term: &Rc<syntax::Term>,
    ) -> Result<Rc<domain::Value>, Diagnostic<FileSpan>> {
        nbe::eval_term(self.prims(), metas, self.values(), span, term)
    }
pub fn eval_term ( & self , metas : & meta :: Env , span : impl Into < Option < FileSpan > > , term : & Rc < syntax :: Term > , ) -> Result < Rc < domain :: Value > , Diagnostic < FileSpan > > { nbe :: eval_term ( self . prims ( ) , metas , self . values ( ) , span , term ) }
Evaluate a term using the evaluation environment
Evaluate a term using the evaluation environment
&self
metas
&meta::Env
span
impl Into<Option<FileSpan>>
term
&Rc<syntax::Term>
&self
metas
&meta::Env
span
impl Into<Option<FileSpan>>
term
&Rc<syntax::Term>