Functor Simple_memory.Make_Memory

module Make_Memory: 
functor (Value : Value-> sig .. end
Parameters:
Value : Value

include Datatype.S_with_collections
include Simple_memory.S
val top : t

The top abstraction, which maps all variables to V.top.

val join : t -> t -> t
val widen : t -> t -> t
val is_included : t -> t -> bool