summaryrefslogtreecommitdiff
path: root/lambda
ModeNameSize
-rw-r--r--.ocamlformat122logplain
-rw-r--r--.ocamlformat-enable12logplain
-rw-r--r--debuginfo.ml6994logplain
-rw-r--r--debuginfo.mli2766logplain
-rw-r--r--dune1235logplain
-rwxr-xr-xgenerate_runtimedef.sh1388logplain
-rw-r--r--lambda.ml31872logplain
-rw-r--r--lambda.mli16359logplain
-rw-r--r--matching.ml124843logplain
-rw-r--r--matching.mli2168logplain
-rw-r--r--printlambda.ml26679logplain
-rw-r--r--printlambda.mli1755logplain
-rw-r--r--runtimedef.mli1225logplain
-rw-r--r--simplif.ml33984logplain
-rw-r--r--simplif.mli1726logplain
-rw-r--r--switch.ml25185logplain
-rw-r--r--switch.mli5248logplain
-rw-r--r--tmc.ml38252logplain
-rw-r--r--tmc.mli3450logplain
-rw-r--r--translattribute.ml14926logplain
-rw-r--r--translattribute.mli2407logplain
-rw-r--r--translclass.ml36903logplain
-rw-r--r--translclass.mli1402logplain
-rw-r--r--translcore.ml47612logplain
-rw-r--r--translcore.mli2380logplain
-rw-r--r--translmod.ml68198logplain
-rw-r--r--translmod.mli2448logplain
-rw-r--r--translobj.ml6069logplain
-rw-r--r--translobj.mli1597logplain
-rw-r--r--translprim.ml37103logplain
-rw-r--r--translprim.mli2212logplain