pub fn normalize_term(
    prims: &prim::Env,
    metas: &meta::Env,
    values: &var::Env<Rc<Value>>,
    term: &Rc<Term>,
) -> Result<Rc<Term>, String> {
    let value = eval_term(prims, metas, values, term)?;
    read_back_value(prims, metas, values.size(), &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_term(
    prims: &prim::Env,
    metas: &meta::Env,
    values: &var::Env<Rc<Value>>,
    term: &Rc<Term>,
) -> Result<Rc<Term>, String> {
    let value = eval_term(prims, metas, values, term)?;
    read_back_value(prims, metas, values.size(), &value)
}
pub fn normalize_term ( prims : & prim :: Env , metas : & meta :: Env , values : & var :: Env < Rc < Value > > , term : & Rc < Term > , ) -> Result < Rc < Term > , String > { let value = eval_term ( prims , metas , values , term ) ? ; read_back_value ( prims , metas , values . size ( ) , & 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 .
prims
&prim::Env
metas
&meta::Env
values
&var::Env<Rc<Value>>
term
&Rc<Term>
prims
&prim::Env
metas
&meta::Env
values
&var::Env<Rc<Value>>
term
&Rc<Term>