fact: Definition remove_watched_id_old (l:literal) (id:int) (cl: WMap.t) := let lid := id_of_literal l in let (ln,lp) := WMap.find_clauses_p lid cl in if is_positive_literal l then IntMap.set' lid (ln, IntMap.remove' id lp) cl else IntMap.set' lid (IntMap.remove' id ln,lp) cl.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause