Functor Location_lift.Make

module Make: 
functor (Loc : Abstract_location.Leaf) -> 
functor (Convert : Conversion  with type internal_value := Loc.value) -> Abstract.Location.Internal  with type location = Loc.location
                                and type offset = Loc.offset
                                and type value = Convert.extended_value

include Abstract_location.S

val structure : location structure