let
shrink_local_frame_env ~env =
env.local_binding <-
List
.tl env.local_binding