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