module Complete_Minimal_with_datatype:functor (
Value
:
Abstract_value.S
) ->
functor (
Location
:
Abstract_location.S
) ->
functor (
Domain
:
Simpler_domains.Minimal_with_datatype
) ->
Abstract_domain.Leaf
with type value = Value.t and type location = Location.location and type state = Domain.t
Parameters: |
|
include Abstract_domain.Internal
val key : t Abstract_domain.key
The key identifies the domain and the type t
of its states.