Frama-C API - Location_lift
module type Conversion = sig ... endmodule Make (Loc : Abstract_location.Leaf) (Convert : Conversion with type internal := Loc.value) : Abstract.Location.Internal with type location = Loc.location and type offset = Loc.offset and type value = Convert.extended