Module ConditionDom.PathSource

Sourcetype t' =
  1. | Root
  2. | Append of t * Literal.t
  3. | Join of {
    1. a : t;
    2. b : t;
    3. ancestor : t;
    }
Sourceand t = {
  1. id : int;
  2. content : t';
  3. depth : int;
}
Sourceval root : t
Sourceval pretty : Format.formatter -> t -> unit
Sourceval equal : t -> t -> bool
Sourceval count : int ref
Sourceval tail : t -> t
Sourceval nearest_common_ancestor : t -> t -> t
Sourceval is_prefix : t -> t -> bool
Sourceval inter : t -> t -> t
Sourceval disjoint : t -> t -> bool
Sourcemodule AppendHash : sig ... end
Sourcemodule JoinHash : sig ... end
Sourceval weakhash_default_size : int
Sourceval tag_ref : int ref
Sourceval append_table : AppendHash.t
Sourceval join_table : JoinHash.t
Sourceval append : t -> Literal.t -> AppendHash.data
Sourceval join : t -> t -> JoinHash.data
Sourceval union : t -> t -> JoinHash.data
Sourceval of_literal : Literal.t -> AppendHash.data