Module Condition.ConditionInt

type t = int
val count : int Stdlib.ref
val unique : unit -> int
val pretty : 'a -> 'b -> unit
val all : int
val equal : 'a -> 'b -> bool
val empty : int
val is_empty : int -> bool
val inter : 'a -> 'b -> int
val (&&~) : 'a -> 'b -> int
val union : 'a -> 'b -> int
val (||~) : 'a -> 'b -> int
val disjoint : 'a -> 'b -> 'c
val is_included : 'a -> 'b -> 'c
val complement : 'a -> int
val var : unit -> int
val hash : 'a -> 'b