Functor Domain_lift.Make

module Make: 
functor (Domain : Abstract_domain.Internal) ->
functor (Convert : Conversion with type internal_value := Domain.value and type internal_location := Domain.location) -> Abstract_domain.Internal with type state = Domain.state and type value = Convert.extended_value and type location = Convert.extended_location and type origin = Domain.origin
Parameters:
Domain : Abstract_domain.Internal
Convert : Conversion with type internal_value := Domain.value and type internal_location := Domain.location

include Abstract_domain.S
val structure : t Abstract_domain.structure
A structure matching the type of the domain.