ConditionDom.Literal
type t = int
val var_count : int Stdlib.ref
val fresh : unit -> int
val pretty : Stdlib.Format.formatter -> int -> unit
val equal : 'a -> 'a -> bool
val complement : int -> int
val hash : 'a -> 'b