Functor Domain_builder.Complete_Minimal_with_datatype

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:
Value : Abstract_value.S
Location : Abstract_location.S
Domain : Simpler_domains.Minimal_with_datatype

include Abstract_domain.Internal
val key : t Abstract_domain.key
The key identifies the domain and the type t of its states.