module Make_Memory:
Parameters: |
|
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