fact: Definition wf_entry (p : LForm -> bool) (v : option (bool * LForm)) := match v with | None => false | Some(b,f) => p f && Bool.eqb b true end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause