pub fn normalize(
        &self,
        span: impl Into<Option<FileSpan>>,
        term: &core::RcTerm,
    ) -> Result<core::RcTerm, Diagnostic<FileSpan>> {
        let span = span.into();
        let value = self.eval(span, term)?;
        self.read_back(span, &value)
    }
/// Fully normalize a term by first evaluating it, then reading it back.
Fully normalize a term by first evaluating it, then reading it back.
Fully normalize a term by first evaluating it then reading it back .
pub fn normalize(
        &self,
        span: impl Into<Option<FileSpan>>,
        term: &core::RcTerm,
    ) -> Result<core::RcTerm, Diagnostic<FileSpan>> {
        let span = span.into();
        let value = self.eval(span, term)?;
        self.read_back(span, &value)
    }
pub fn normalize ( & self , span : impl Into < Option < FileSpan > > , term : & core :: RcTerm , ) -> Result < core :: RcTerm , Diagnostic < FileSpan > > { let span = span . into ( ) ; let value = self . eval ( span , term ) ? ; self . read_back ( span , & value ) }
Fully normalize a term by first evaluating it, then reading it back.
Fully normalize a term by first evaluating it then reading it back .
&self
span
impl Into<Option<FileSpan>>
term
&core::RcTerm