summaryrefslogtreecommitdiff
path: root/tests/lean/misc-external/External
ModeNameSize
-rw-r--r--ExternalFuns.lean107logplain
-rw-r--r--Funs.lean2848logplain
-rw-r--r--Opaque.lean823logplain
-rw-r--r--Types.lean263logplain