/// Convert a value to a pretty printable document.
Convert a value to a pretty printable document.
Convert a value to a pretty printable document .
pub fn value_to_doc(
        &self,
        metas: &meta::Env,
        value: &Rc<domain::Value>,
    ) -> Doc<'_, BoxDoc<'_, ()>> {
        match self.read_back_value(metas, None, value) {
            Ok(term) => term.to_display_doc(&self.pretty_env()),
            Err(_) => Doc::text("<error pretty printing>"),
        }
    }
pub fn value_to_doc ( & self , metas : & meta :: Env , value : & Rc < domain :: Value > , ) -> Doc < ' _ , BoxDoc < ' _ , ( ) > > { match self . read_back_value ( metas , None , value ) { Ok ( term ) => term . to_display_doc ( & self . pretty_env ( ) ) , Err ( _ ) => Doc :: text ( " " ) , } }
Convert a value to a pretty printable document.
Convert a value to a pretty printable document .
&self
metas
&meta::Env
value
&Rc<domain::Value>