fact: Definition wfb (m:hmap) : bool := (wf_entry is_FF (IntMap.get' 0 m)) && (wf_entry is_TT (IntMap.get' 1 m)).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause