Module type Mmem.Mm_sig


module type Mm_sig = sig .. end
This is what we need from the memory model to define further operations

include Toprop.T_data_mem
val mem_update : t_exp -> Cil_types.logic_type -> t_exp -> t_exp -> t_exp
mem_update mem val_type ptr val
val subst_res_var : Cil_types.logic_var -> Cil_types.logic_var -> t_pred -> t_pred
used to change \result by a fresh variable in a postcondition from a called function
val fol : t_data Fol.d_pred -> Fol.predicate