fact: Fixpoint eval_or_list (l : list A) := match l with | nil => False | e :: nil => eval e | e1 ::l => eval e1 \/ eval_or_list l end.
imports: Bool ZifyBool ZArith ZifyUint63 Uint63 Lia List Cdcl.Lib Cdcl.Syntax Cdcl.Lit