fact: Definition select_in_wmap (pos: bool) (lit : IntMap.ptrie (Annot.t bool)) (is_bot: bool) (cl:WMap.t) : option (Annot.t (list literal)) := WMap.search (select_clause is_bot lit) pos cl.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause