module Make_Memory: functor (Value : Value) -> sig .. end
functor (
Value
:
) ->
sig
end
include Datatype.S_with_collections
include Simple_memory.S
val top : t
t
V.top
val join : t -> t -> t
t -> t -> t
val widen : t -> t -> t
val is_included : t -> t -> bool
t -> t -> bool