Module type Mvar.Mv_sig


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

include Toprop.T_data_mem
val mk_let : fresh:bool -> Fol.variable -> t_exp -> t_pred -> t_pred
val add_decl_hyp : Cil_types.logic_var -> t_pred -> t_pred
val visit_exp_in_data : ('a -> t_exp -> 'a) -> 'a -> t_data -> 'a
val fol : t_data Fol.d_pred -> Fol.predicate