proposition: Lemma semPrintTestCase_id {C} `{Checkable C} (str : String.string) (c : C) : semChecker (printTestCase str c) <-> semCheckable c.
proof: Proof. by rewrite /printTestCase semCallback_id. Qed.
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrbool ssrnat eqtype) Show Sets Generators Producer RoseTrees Checker Classes