summaryrefslogtreecommitdiff
path: root/lambda
ModeNameSize
-rw-r--r--debuginfo.ml4786logplain
-rw-r--r--debuginfo.mli1581logplain
-rw-r--r--dune1235logplain
-rwxr-xr-xgenerate_runtimedef.sh1274logplain
-rw-r--r--lambda.ml27318logplain
-rw-r--r--lambda.mli14434logplain
-rw-r--r--matching.ml101954logplain
-rw-r--r--matching.mli1969logplain
-rw-r--r--printlambda.ml24358logplain
-rw-r--r--printlambda.mli1755logplain
-rw-r--r--runtimedef.mli1225logplain
-rw-r--r--simplif.ml32164logplain
-rw-r--r--simplif.mli1866logplain
-rw-r--r--switch.ml24683logplain
-rw-r--r--switch.mli4113logplain
-rw-r--r--translattribute.ml10987logplain
-rw-r--r--translattribute.mli2386logplain
-rw-r--r--translclass.ml36032logplain
-rw-r--r--translclass.mli1356logplain
-rw-r--r--translcore.ml40772logplain
-rw-r--r--translcore.mli2103logplain
-rw-r--r--translmod.ml61514logplain
-rw-r--r--translmod.mli2422logplain
-rw-r--r--translobj.ml6012logplain
-rw-r--r--translobj.mli1597logplain
-rw-r--r--translprim.ml33673logplain
-rw-r--r--translprim.mli2097logplain