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