module type MO_sig =Knowingsig
..end
MV
we will be able to add assigns operationsmodule M:Mvar.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