Module Domain_lift

module Domain_lift: sig .. end

module type Conversion = sig .. end

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