Module Diffast_misc.Path

module Elem : sig ... end
type t =
  1. | PATH of Elem.t list
exception Invalid_path of string
val to_string : t -> string
val sep_pat : Str.regexp
val of_string : string -> t
val root : t
val strip : t -> t
val length : t -> int
val append : t -> Elem.t -> t
val append_pos : ?ofs:float -> t -> int -> t
val set_ofs : t -> float -> unit
val concat : t -> t -> t
val remove_head : t -> t -> t
val remove_head_n : int -> t -> t
val get_positions : t -> int list
val get_elems : t -> Elem.t list
val split : t -> t * Elem.t
val get_parent : t -> t
val get_offset : t -> float
val get_position : t -> int
val head : t -> int -> t
val tail : t -> Elem.t
val nth : t -> int -> Elem.t
val eq : t -> t -> bool
val is_prefix : ?exact:bool -> t -> t -> bool
val compare : t -> t -> int