Module Abstractions.S.Loc

module Loc: Abstract_location.External  with type value = Val.t
                                           and type location = Precise_locs.precise_location

include Abstract_location.S
include Structure.External