pub fn read_back(
        &self,
        span: impl Into<Option<FileSpan>>,
        value: &domain::RcValue,
    ) -> Result<core::RcTerm, Diagnostic<FileSpan>> {
        nbe::read_back_term(self.level(), value).map_err(|error| match span.into() {
            None => Diagnostic::new_bug(format!("failed to read-back value: {}", error)),
            Some(span) => Diagnostic::new_bug("failed to read-back value")
                .with_label(DiagnosticLabel::new_primary(span).with_message(error.message)),
        })
    }
/// Read a value back into the core syntax, normalizing as required.
Read a value back into the core syntax, normalizing as required.
Read a value back into the core syntax normalizing as required .
pub fn read_back(
        &self,
        span: impl Into<Option<FileSpan>>,
        value: &domain::RcValue,
    ) -> Result<core::RcTerm, Diagnostic<FileSpan>> {
        nbe::read_back_term(self.level(), value).map_err(|error| match span.into() {
            None => Diagnostic::new_bug(format!("failed to read-back value: {}", error)),
            Some(span) => Diagnostic::new_bug("failed to read-back value")
                .with_label(DiagnosticLabel::new_primary(span).with_message(error.message)),
        })
    }
pub fn read_back ( & self , span : impl Into < Option < FileSpan > > , value : & domain :: RcValue , ) -> Result < core :: RcTerm , Diagnostic < FileSpan > > { nbe :: read_back_term ( self . level ( ) , value ) . 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 ) ) , } ) }
Read a value back into the core syntax, normalizing as required.
Read a value back into the core syntax normalizing as required .
&self
span
impl Into<Option<FileSpan>>
value
&domain::RcValue