fact: Definition find_lit' (l: literal) (lit : IntMap.ptrie (Annot.t bool)) : option (Annot.t bool) := (if is_positive_literal l then (fun x => x) else neg_bool) (IntMap.get' (id_of_literal l) lit).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause