fact: Definition implicationOpt (m : option bool) (p : unit -> option bool) : option bool := match m with | Some true => p tt | Some false => None | None => None end.
imports: ExtLib(RelDec) Coq(Ascii List NArith String ZArith) mathcomp(ssrbool ssreflect ssrnat) QuickChick(Checker) Generators Producer DecidableClass