Module Condition.ConditionDom

module Literal : sig ... end
module Path : sig ... end
type t =
  1. | False
  2. | Literal of Literal.t
  3. | Path of Path.t
  4. | Complement of t
val hash : t -> int
val pretty : Stdlib.Format.formatter -> t -> unit
val equal : t -> t -> bool
val _equal : t -> t -> bool
val var : unit -> t
val empty : t
val all : t
val one : t
val complement : t -> t
val (!~) : t -> t
val is_included : t -> t -> bool
val union : t -> t -> t
val (||~) : t -> t -> t
val nearest_common_ancestor : t -> t -> t
val is_prefix : t -> t -> bool
val inter : t -> t -> t
val (&&~) : t -> t -> t
val is_empty : t -> bool
val disjoint : t -> t -> bool
module Log : sig ... end