fact: Definition search (only_pos:bool) (cl:WMap.t) := IntMap.search (search_in_pair_map only_pos) cl.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause