Module Condition.ConditionDom
module Path : sig ... end
val pretty : Stdlib.Format.formatter -> t -> unit
val equal : t -> t -> bool
val _equal : t -> t -> bool
val is_included : t -> t -> bool
val nearest_common_ancestor : t -> t -> t
val is_prefix : t -> t -> bool
val disjoint : t -> t -> bool