Module Domain_builder

module Domain_builder: sig .. end

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