sig
  type t =
      Lident of string
    | Ldot of Longident.t Location.loc * string Location.loc
    | Lapply of Longident.t Location.loc * Longident.t Location.loc
  val same : Longident.t -> Longident.t -> bool
  val flatten : Longident.t -> string list
  val unflatten : string list -> Longident.t option
  val last : Longident.t -> string
  val parse : string -> Longident.t
end