fact: Definition map_hcons {A B:Type} (f: A -> B) (e : HCons.t A) : HCons.t B := HCons.mk e.(id) e.(is_dec) (f e.(elt)).
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause