pub fn read_back_value(
        &self,
        metas: &meta::Env,
        span: impl Into<Option<FileSpan>>,
        value: &Rc<domain::Value>,
    ) -> Result<Rc<syntax::Term>, Diagnostic<FileSpan>> {
        nbe::read_back_value(self.prims(), metas, self.values().size(), span, value)
    }
/// 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_value(
        &self,
        metas: &meta::Env,
        span: impl Into<Option<FileSpan>>,
        value: &Rc<domain::Value>,
    ) -> Result<Rc<syntax::Term>, Diagnostic<FileSpan>> {
        nbe::read_back_value(self.prims(), metas, self.values().size(), span, value)
    }
pub fn read_back_value ( & self , metas : & meta :: Env , span : impl Into < Option < FileSpan > > , value : & Rc < domain :: Value > , ) -> Result < Rc < syntax :: Term > , Diagnostic < FileSpan > > { nbe :: read_back_value ( self . prims ( ) , metas , self . values ( ) . size ( ) , span , value ) }
Read a value back into the core syntax, normalizing as required.
Read a value back into the core syntax normalizing as required .
&self
metas
&meta::Env
span
impl Into<Option<FileSpan>>
value
&Rc<domain::Value>
&self
metas
&meta::Env
span
impl Into<Option<FileSpan>>
value
&Rc<domain::Value>