/// Apply a closure to an argument.
Apply a closure to an argument.
Apply a closure to an argument .
pub fn app_closure(
    prims: &prim::Env,
    metas: &meta::Env,
    closure: &AppClosure,
    arg: Rc<Value>,
) -> Result<Rc<Value>, String> {
    let mut values = closure.values.clone();
    values.add_entry(arg);
    eval_term(prims, metas, &values, &closure.term)
}
pub fn app_closure ( prims : & prim :: Env , metas : & meta :: Env , closure : & AppClosure , arg : Rc < Value > , ) -> Result < Rc < Value > , String > { let mut values = closure . values . clone ( ) ; values . add_entry ( arg ) ; eval_term ( prims , metas , & values , & closure . term ) }
Apply a closure to an argument.
Apply a closure to an argument .
prims
&prim::Env
metas
&meta::Env
closure
&AppClosure
arg
Rc<Value>