summaryrefslogtreecommitdiff
path: root/tests/lean/misc-loops/Loops/Clauses
ModeNameSize
-rw-r--r--Clauses.lean6261logplain
-rw-r--r--Template.lean7426logplain