fact: Definition annot_of_literal (h: literal) : LitSet.t := (LitSet.singleton (id_of_literal h) (is_positive_literal h)).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause