fact: Definition find_clauses_p (v: int) (cls: t) := match IntMap.get' v cls with | None => (IntMap.empty (Annot.t watched_clause), IntMap.empty (Annot.t watched_clause)) | Some r => r end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause