module type domain_functor = functor (Value : Abstract.Value.External) -> Abstractions.leaf_domain with type value = Value.t
functor (
Value
:
Abstract.Value.External
) ->
Abstractions.leaf_domain
with type value = Value.t
include Abstract_domain.Internal
val key : t Abstract_domain.key
t Abstract_domain.key
t