fact: Definition valid_index (hm : hmap) (i : int) := exists f, has_form hm f /\ f.(id) = i.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause