sig
module M : Mv_sig
val assign_exp :
(Cil_types.exp -> M.t_exp option) ->
Cil_types.lval ->
M.t_exp option -> M.t_data Fol.d_pred -> M.t_data Fol.d_pred
val assign_old_exp :
(Cil_types.exp -> M.t_exp option) ->
MT(M).t_env ->
Cil_types.lval ->
M.t_exp option -> M.t_data Fol.d_pred -> M.t_data Fol.d_pred
end