pub fn force_value(
        &self,
        metas: &meta::Env,
        span: impl Into<Option<FileSpan>>,
        value: &Rc<domain::Value>,
    ) -> Result<Rc<domain::Value>, Diagnostic<FileSpan>> {
        nbe::force_value(self.prims(), metas, span, value)
    }
/// Evaluate a value further, if it's now possible due to updates made to the
/// metavariable solutions.
Evaluate a value further, if it's now possible due to updates made to the
metavariable solutions.
Evaluate a value further if it ' s now possible due to updates made to the metavariable solutions .
pub fn force_value(
        &self,
        metas: &meta::Env,
        span: impl Into<Option<FileSpan>>,
        value: &Rc<domain::Value>,
    ) -> Result<Rc<domain::Value>, Diagnostic<FileSpan>> {
        nbe::force_value(self.prims(), metas, span, value)
    }
pub fn force_value ( & self , metas : & meta :: Env , span : impl Into < Option < FileSpan > > , value : & Rc < domain :: Value > , ) -> Result < Rc < domain :: Value > , Diagnostic < FileSpan > > { nbe :: force_value ( self . prims ( ) , metas , span , value ) }
Evaluate a value further, if it's now possible due to updates made to the
metavariable solutions.
Evaluate a value further if it ' s now possible due to updates made to the metavariable solutions .
&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>