Functor Domain_lift.Make

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

include Abstract_domain.S

val structure : t structure