Module Condition.ConditionInt
val count : int Stdlib.ref
val pretty : 'a -> 'b -> unit
val equal : 'a -> 'b -> bool
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