let call_post caller_env called_kf vs m_pre m_post x_result =
let frame =
new_frame called_kf ~m_here:m_post ~m_pre ~m_post ?x_result ()
in
{
formals_in_pre = true ;
frame = frame ;
label = Here ;
lvars = caller_env.lvars ;
xvars = bind_formals called_kf vs ;
laddr = caller_env.laddr
}