Module Abstractions.S.Loc

module Loc: Abstract.Location.External  with type value = Val.t

include Abstract.Location.Internal
include Abstract.Interface