pub fn eval(
        &self,
        span: impl Into<Option<FileSpan>>,
        term: &core::RcTerm,
    ) -> Result<domain::RcValue, Diagnostic<FileSpan>> {
        nbe::eval(term, self.values()).map_err(|error| match span.into() {
            None => Diagnostic::new_bug(format!("failed to evaluate term: {}", error)),
            Some(span) => Diagnostic::new_bug("failed to evaluate term")
                .with_label(DiagnosticLabel::new_primary(span).with_message(error.message)),
        })
    }
/// Evaluate a term using the evaluation environment
Evaluate a term using the evaluation environment
Evaluate a term using the evaluation environment
pub fn eval(
        &self,
        span: impl Into<Option<FileSpan>>,
        term: &core::RcTerm,
    ) -> Result<domain::RcValue, Diagnostic<FileSpan>> {
        nbe::eval(term, self.values()).map_err(|error| match span.into() {
            None => Diagnostic::new_bug(format!("failed to evaluate term: {}", error)),
            Some(span) => Diagnostic::new_bug("failed to evaluate term")
                .with_label(DiagnosticLabel::new_primary(span).with_message(error.message)),
        })
    }
pub fn eval ( & self , span : impl Into < Option < FileSpan > > , term : & core :: RcTerm , ) -> Result < domain :: RcValue , Diagnostic < FileSpan > > { nbe :: eval ( term , self . values ( ) ) . map_err ( | error | match span . into ( ) { None => Diagnostic :: new_bug ( format ! ( " " error ) ) , Some ( span ) => Diagnostic :: new_bug ( " " ) . with_label ( DiagnosticLabel :: new_primary ( span ) . with_message ( error . message ) ) , } ) }
Evaluate a term using the evaluation environment
Evaluate a term using the evaluation environment
&self
span
impl Into<Option<FileSpan>>
term
&core::RcTerm