summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-missing-cmi-3
ModeNameSize
-rw-r--r--middle.ml664logplain
-rw-r--r--original.ml144logplain
-rw-r--r--user.ml2930logplain