fact: Fixpoint process_eval_rec1 (eval : board -> state) res l := if l is i :: l1 then let res1 := smin (eval i) res in process_eval_rec1 eval res1 l1 else sflip res.
imports: HB(structures) mathcomp(all_ssreflect) mathcomp(all_algebra)