S.Located
type 'a t = 'a Loc.t
val loc : _ t -> Location.t
val mk : 'a -> 'a t
val map : ('a -> 'b) -> 'a t -> 'b t
val map_lident : string t -> Longident.t t
val lident : string -> Longident.t t