Module Domain_builder

module Domain_builder: sig .. end
Automatic builders to complete abstract domains from different simplified interfaces.

module type InputDomain = sig .. end
module Complete: 
functor (Domain : InputDomain) -> Abstract_domain.Internal with type state = Domain.state and type value = Domain.value and type location = Domain.location
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
module Complete_Minimal_with_datatype: 
functor (Value : Abstract_value.S) ->
functor (Location : Abstract_location.S) ->
functor (Domain : Simpler_domains.Minimal_with_datatype) -> Abstract_domain.Internal with type value = Value.t and type location = Location.location and type state = Domain.t
module Complete_Simple_Cvalue: 
functor (Domain : Simpler_domains.Simple_Cvalue) -> Abstract_domain.Internal with type value = Cvalue.V.t and type location = Precise_locs.precise_location and type state = Domain.t