summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/T21763a.stderr
blob: eb75c07f827ad2833854b500c63d54bf91bbc658 (plain)
1
2
3
4
5

==================== Tidy Core rules ====================
"SC:$wf30" [2] forall. $wf3 g_imp = f3_$s$wf3