proposition: Lemma semPredQProp (c : Checker) : semCheckable c <-> semChecker c.
proof: Proof. split => H s; eapply semPredQPropSize; eauto. Qed.
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrbool ssrnat eqtype) Show Sets Generators Producer RoseTrees Checker Classes