Frama-C API - Mstate
val index : Memory.s_lval -> Lang.F.term -> Memory.s_lvalval field : Memory.s_lval -> Frama_c_kernel.Cil_types.fieldinfo -> Memory.s_lvalval equal : Memory.s_lval -> Memory.s_lval -> boolval create : (module Memory.Model) -> Sigma.sigma -> stateval lookup : state -> Lang.F.term -> Memory.mvalval apply : (Lang.F.term -> Lang.F.term) -> state -> stateval iter : (Memory.mval -> Lang.F.term -> unit) -> state -> unitval updates : state Memory.sequence -> Lang.F.Vars.t -> Memory.update Frama_c_kernel.Bag.t