module Make_Domain: functor (Info : sig val name : stringend) -> functor (Value : Value) -> sig .. end
functor (
Info
:
sig
val name : string
string
end) -> functor (Value : Value) -> sig .. end
end
) ->
Value
sig val name: string end
include Abstract_domain.Leaf
include Simple_memory.S