Name	Size	Permission	Options
.ocamlformat	0.119 KB	-rw-rw-r--	action delete edit rename chmod
.ocamlformat-enable	0.012 KB	-rw-rw-r--	action delete edit rename chmod
debuginfo.ml	4.674 KB	-rw-rw-r--	action delete edit rename chmod
debuginfo.mli	1.544 KB	-rw-rw-r--	action delete edit rename chmod
dune	1.206 KB	-rw-rw-r--	action delete edit rename chmod
generate_runtimedef.sh	1.234 KB	-rwxrwxr-x	action delete edit rename chmod
lambda.ml	26.741 KB	-rw-rw-r--	action delete edit rename chmod
lambda.mli	14.251 KB	-rw-rw-r--	action delete edit rename chmod
matching.ml	112.596 KB	-rw-rw-r--	action delete edit rename chmod
matching.mli	1.923 KB	-rw-rw-r--	action delete edit rename chmod
printlambda.ml	23.787 KB	-rw-rw-r--	action delete edit rename chmod
printlambda.mli	1.714 KB	-rw-rw-r--	action delete edit rename chmod
runtimedef.mli	1.196 KB	-rw-rw-r--	action delete edit rename chmod
simplif.ml	32.052 KB	-rw-rw-r--	action delete edit rename chmod
simplif.mli	1.822 KB	-rw-rw-r--	action delete edit rename chmod
switch.ml	24.104 KB	-rw-rw-r--	action delete edit rename chmod
switch.mli	4.017 KB	-rw-rw-r--	action delete edit rename chmod
translattribute.ml	10.729 KB	-rw-rw-r--	action delete edit rename chmod
translattribute.mli	2.33 KB	-rw-rw-r--	action delete edit rename chmod
translclass.ml	35.188 KB	-rw-rw-r--	action delete edit rename chmod
translclass.mli	1.324 KB	-rw-rw-r--	action delete edit rename chmod
translcore.ml	40.058 KB	-rw-rw-r--	action delete edit rename chmod
translcore.mli	2.054 KB	-rw-rw-r--	action delete edit rename chmod
translmod.ml	62.525 KB	-rw-rw-r--	action delete edit rename chmod
translmod.mli	2.391 KB	-rw-rw-r--	action delete edit rename chmod
translobj.ml	5.871 KB	-rw-rw-r--	action delete edit rename chmod
translobj.mli	1.56 KB	-rw-rw-r--	action delete edit rename chmod
translprim.ml	32.884 KB	-rw-rw-r--	action delete edit rename chmod
translprim.mli	2.048 KB	-rw-rw-r--	action delete edit rename chmod