sig
  type element = string
  type t = OBus_path.element list
  val compare : OBus_path.t -> OBus_path.t -> int
  val empty : OBus_path.t
  val after : OBus_path.t -> OBus_path.t -> OBus_path.t option
  val of_string : string -> OBus_path.t
  val to_string : OBus_path.t -> string
  val escape : string -> OBus_path.element
  val unescape : OBus_path.element -> string
  val generate : unit -> OBus_path.t
  val validate : OBus_string.validator
  val validate_element : OBus_string.validator
end