Wp.MemDebug
val pp_sequence :
'a Frama_c_kernel.Pretty_utils.formatter ->
Stdlib.Format.formatter ->
'a Memory.sequence ->
unit
val pp_equation : Stdlib.Format.formatter -> Memory.equation -> unit
val pp_acs : Stdlib.Format.formatter -> Memory.acs -> unit
val pp_value :
'a Frama_c_kernel.Pretty_utils.formatter ->
Stdlib.Format.formatter ->
'a Memory.value ->
unit
val pp_rloc :
'a Frama_c_kernel.Pretty_utils.formatter ->
Stdlib.Format.formatter ->
'a Memory.rloc ->
unit
val pp_sloc :
'a Frama_c_kernel.Pretty_utils.formatter ->
Stdlib.Format.formatter ->
'a Memory.sloc ->
unit
module Make (_ : Memory.Model) : Memory.Model