summaryrefslogtreecommitdiff
path: root/lambda
ModeNameSize
-rw-r--r--.ocamlformat122logplain
-rw-r--r--.ocamlformat-enable12logplain
-rw-r--r--debuginfo.ml7370logplain
-rw-r--r--debuginfo.mli3001logplain
-rw-r--r--dune1235logplain
-rwxr-xr-xgenerate_runtimedef.sh1264logplain
-rw-r--r--lambda.ml30254logplain
-rw-r--r--lambda.mli15862logplain
-rw-r--r--matching.ml122273logplain
-rw-r--r--matching.mli2304logplain
-rw-r--r--printlambda.ml26450logplain
-rw-r--r--printlambda.mli1755logplain
-rw-r--r--runtimedef.mli1225logplain
-rw-r--r--simplif.ml32795logplain
-rw-r--r--simplif.mli1878logplain
-rw-r--r--switch.ml24686logplain
-rw-r--r--switch.mli4143logplain
-rw-r--r--translattribute.ml11649logplain
-rw-r--r--translattribute.mli2407logplain
-rw-r--r--translclass.ml37136logplain
-rw-r--r--translclass.mli1404logplain
-rw-r--r--translcore.ml50585logplain
-rw-r--r--translcore.mli2380logplain
-rw-r--r--translmod.ml68629logplain
-rw-r--r--translmod.mli2448logplain
-rw-r--r--translobj.ml6069logplain
-rw-r--r--translobj.mli1597logplain
-rw-r--r--translprim.ml36039logplain
-rw-r--r--translprim.mli2212logplain