Functor Domain_builder.Complete_Minimal

module Complete_Minimal: 
functor (Value : Abstract_value.S) -> 
functor (Location : Abstract_location.S) -> 
functor (Domain : Simpler_domains.Minimal) -> Abstract_domain.Internal  with type value = Value.t
                              and type location = Location.location
                              and type state = Domain.t

include Abstract_domain.S_with_Structure

module Store: Abstract_domain.Store  with type state := state