Functor Simple_memory.Make_Domain

module Make_Domain: 
functor (Info : sig
val name : string
end) ->
functor (Value : Value) -> sig .. end
Parameters:
Info : sig val name: string end
Value : Value

include Abstract_domain.Internal
include Simple_memory.S