pub fn do_closure_app(closure: &AppClosure, arg: RcValue) -> Result<RcValue, NbeError> {
    let mut env = closure.env.clone();
    env.add_entry(arg);
    eval(&closure.term, &env)
}
/// Apply a closure to an argument
Apply a closure to an argument
Apply a closure to an argument
pub fn do_closure_app(closure: &AppClosure, arg: RcValue) -> Result<RcValue, NbeError> {
    let mut env = closure.env.clone();
    env.add_entry(arg);
    eval(&closure.term, &env)
}
pub fn do_closure_app ( closure : & AppClosure , arg : RcValue ) -> Result < RcValue , NbeError > { let mut env = closure . env . clone ( ) ; env . add_entry ( arg ) ; eval ( & closure . term , & env ) }
Apply a closure to an argument
Apply a closure to an argument
closure
&AppClosure
arg
RcValue