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.Leaf 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.Leaf 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.Leaf 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.Leaf with type value = Cvalue.V.t and type location = Precise_locs.precise_location and type state = Domain.t