Module ConditionDom.LiteralSource

Sourcetype t = int
Sourceval var_count : int ref
Sourceval fresh : unit -> int
Sourceval pretty : Format.formatter -> int -> unit
Sourceval equal : 'a -> 'a -> bool
Sourceval complement : int -> int
Sourceval hash : 'a -> 'a