fact: Definition search_in_pair_map (pos : bool) (k:int) (e: IntMap.ptrie (Annot.t watched_clause) * IntMap.ptrie (Annot.t watched_clause)) := if pos then search_in_map (snd e) else search_in_map (fst e).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause