Module type Mvar.MO_sig


module type MO_sig = sig .. end
Knowing MV we will be able to add assigns operations

module 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