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.ml31835logplain
-rw-r--r--lambda.mli16322logplain
-rw-r--r--matching.ml128004logplain
-rw-r--r--matching.mli2168logplain
-rw-r--r--printlambda.ml26578logplain
-rw-r--r--printlambda.mli1755logplain
-rw-r--r--runtimedef.mli1225logplain
-rw-r--r--simplif.ml34605logplain
-rw-r--r--simplif.mli1726logplain
-rw-r--r--switch.ml30774logplain
-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.ml47149logplain
-rw-r--r--translcore.mli2380logplain
-rw-r--r--translmod.ml68545logplain
-rw-r--r--translmod.mli2448logplain
-rw-r--r--translobj.ml6069logplain
-rw-r--r--translobj.mli1597logplain
-rw-r--r--translprim.ml37102logplain
-rw-r--r--translprim.mli2212logplain