pub fn inst_closure(
    prims: &prim::Env,
    metas: &meta::Env,
    size: var::Size,
    closure: &AppClosure,
) -> Result<Rc<Value>, String> {
    let arg = Rc::from(Value::var(size.next_level()));
    app_closure(prims, metas, closure, arg)
}
/// Instantiate a closure in an environment of the given size.
Instantiate a closure in an environment of the given size.
Instantiate a closure in an environment of the given size .
pub fn inst_closure(
    prims: &prim::Env,
    metas: &meta::Env,
    size: var::Size,
    closure: &AppClosure,
) -> Result<Rc<Value>, String> {
    let arg = Rc::from(Value::var(size.next_level()));
    app_closure(prims, metas, closure, arg)
}
pub fn inst_closure ( prims : & prim :: Env , metas : & meta :: Env , size : var :: Size , closure : & AppClosure , ) -> Result < Rc < Value > , String > { let arg = Rc :: from ( Value :: var ( size . next_level ( ) ) ) ; app_closure ( prims , metas , closure , arg ) }
Instantiate a closure in an environment of the given size.
Instantiate a closure in an environment of the given size .
prims
&prim::Env
metas
&meta::Env
size
var::Size
closure
&AppClosure
prims
&prim::Env
metas
&meta::Env
size
var::Size
closure
&AppClosure