let set_value env value = function | GlobalVar(uid, ind) -> env.heap.(ind) <- (uid, value); value | LocalVar(uid, depth, ind) -> env.stackframes.(depth).(ind) <- value; value