Module Domain_lift

module Domain_lift: sig .. end

module type Conversion = sig .. end
module Make: 
functor (Domain : Abstract_domain.Leaf-> 
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