fact: Definition checker_backtrack (l : list (unit -> option bool)) : option bool := let fix aux l b := match l with | t :: ts => match t tt with | Some true => Some true | Some false => aux ts b | None => aux ts true end | nil => if b then None else Some false end in aux l false.
imports: ExtLib(RelDec) Coq(Ascii List NArith String ZArith) mathcomp(ssrbool ssreflect ssrnat) QuickChick(Checker) Generators Producer