let apply_sigma (env:env) sigma closure =
try
let k_label = M.label_at_closure closure in
let c_label = List.assoc k_label sigma in
Svalue( M.userdef_closure (M.mem_at env.frame c_label) closure )
with Not_found ->
Sclosure closure