Module `Make_pure_sat.Atom`

type t = atom

val level : atom -> int
val var : atom -> var
val neg : atom -> atom
val abs : atom -> atom
val formula : atom -> formula
val equal : 'a -> 'a -> bool
val sign : atom -> bool
val hash : atom -> int
val compare : atom -> atom -> int
val reason : atom -> reason option
val id : atom -> int
val is_true : atom -> bool
val is_false : atom -> bool
val seen : atom -> bool
val mark : atom -> unit
val make : st -> formula -> atom
val pp : Format.formatter -> atom -> unit
val pp_a : Format.formatter -> atom array -> unit
val pp_sign : atom -> string
val debug_reason : Format.formatter -> (int * reason option) -> unit
val pp_level : Format.formatter -> atom -> unit
val debug_value : Format.formatter -> atom -> unit
val debug : Format.formatter -> atom -> unit
val debug_a : Format.formatter -> atom array -> unit
val debug_l : Format.formatter -> atom list -> unit

module Set : sig ... end