Satml_types.Atom
and reason = clause option
and premise = clause list
val empty_hcons_env : unit -> hcons_env
val nb_made_vars : hcons_env -> int
val pr_atom : Stdlib.Format.formatter -> atom -> unit
val pr_clause : Stdlib.Format.formatter -> clause -> unit
val weight : atom -> float
val is_true : atom -> bool
val vrai_atom : atom
val faux_atom : atom
val level : atom -> int
val index : atom -> int
val dummy_var : var
val dummy_atom : atom
val dummy_clause : clause
val hash_atom : atom -> int
val tag_atom : atom -> int