fact: Fixpoint app_list (l: list (state -> option state)) (st: state) := match l with | nil => Some st | f1::fl => match f1 st with | None => None | Some st' => app_list fl st' end end.
imports: Cdcl.PatriciaR Cdcl.KeyInt Cdcl.ReifClasses Cdcl.Lib Bool Setoid ZifyBool ZArith Uint63 Lia List Cdcl.Syntax Cdcl.Clause