Module Path.With_hash_consing

Parameters

module P : sig ... end

Signature

type desc = private
  1. | Root
  2. | At_index of int * t
and t = private {
  1. tag : int;
  2. hash : int;
  3. rev_path_desc : desc;
}
val compare : t -> t -> int
val root : t
val at_index : int -> t -> t
val concat : above:t -> under:t -> t
val to_string : t -> string