Name	Size	Permission	Options
HACKING.adoc	2.63 KB	-rw-rw-r--	action delete edit rename chmod
TODO.md	3.971 KB	-rw-rw-r--	action delete edit rename chmod
annot.mli	1.268 KB	-rw-rw-r--	action delete edit rename chmod
btype.ml	24.979 KB	-rw-rw-r--	action delete edit rename chmod
btype.mli	9.831 KB	-rw-rw-r--	action delete edit rename chmod
ctype.ml	162.774 KB	-rw-rw-r--	action delete edit rename chmod
ctype.mli	15.956 KB	-rw-rw-r--	action delete edit rename chmod
datarepr.ml	8.659 KB	-rw-rw-r--	action delete edit rename chmod
datarepr.mli	1.977 KB	-rw-rw-r--	action delete edit rename chmod
env.ml	102.39 KB	-rw-rw-r--	action delete edit rename chmod
env.mli	15.668 KB	-rw-rw-r--	action delete edit rename chmod
envaux.ml	4.339 KB	-rw-rw-r--	action delete edit rename chmod
envaux.mli	1.524 KB	-rw-rw-r--	action delete edit rename chmod
ident.ml	10.065 KB	-rw-rw-r--	action delete edit rename chmod
ident.mli	2.895 KB	-rw-rw-r--	action delete edit rename chmod
includeclass.ml	4.571 KB	-rw-rw-r--	action delete edit rename chmod
includeclass.mli	1.52 KB	-rw-rw-r--	action delete edit rename chmod
includecore.ml	19.557 KB	-rw-rw-r--	action delete edit rename chmod
includecore.mli	3.162 KB	-rw-rw-r--	action delete edit rename chmod
includemod.ml	31.445 KB	-rw-rw-r--	action delete edit rename chmod
includemod.mli	3.67 KB	-rw-rw-r--	action delete edit rename chmod
mtype.ml	17.533 KB	-rw-rw-r--	action delete edit rename chmod
mtype.mli	3.073 KB	-rw-rw-r--	action delete edit rename chmod
oprint.ml	27.175 KB	-rw-rw-r--	action delete edit rename chmod
oprint.mli	1.798 KB	-rw-rw-r--	action delete edit rename chmod
outcometree.mli	5.319 KB	-rw-rw-r--	action delete edit rename chmod
parmatch.ml	87.185 KB	-rw-rw-r--	action delete edit rename chmod
parmatch.mli	4.82 KB	-rw-rw-r--	action delete edit rename chmod
path.ml	3.963 KB	-rw-rw-r--	action delete edit rename chmod
path.mli	1.882 KB	-rw-rw-r--	action delete edit rename chmod
persistent_env.ml	11.841 KB	-rw-rw-r--	action delete edit rename chmod
persistent_env.mli	3.783 KB	-rw-rw-r--	action delete edit rename chmod
predef.ml	9.155 KB	-rw-rw-r--	action delete edit rename chmod
predef.mli	3.049 KB	-rw-rw-r--	action delete edit rename chmod
primitive.ml	7.651 KB	-rw-rw-r--	action delete edit rename chmod
primitive.mli	2.721 KB	-rw-rw-r--	action delete edit rename chmod
printpat.ml	5.43 KB	-rw-rw-r--	action delete edit rename chmod
printpat.mli	1.347 KB	-rw-rw-r--	action delete edit rename chmod
printtyp.ml	69.543 KB	-rw-rw-r--	action delete edit rename chmod
printtyp.mli	7.222 KB	-rw-rw-r--	action delete edit rename chmod
printtyped.ml	29.95 KB	-rw-rw-r--	action delete edit rename chmod
printtyped.mli	1.276 KB	-rw-rw-r--	action delete edit rename chmod
rec_check.ml	41.467 KB	-rw-rw-r--	action delete edit rename chmod
rec_check.mli	1.151 KB	-rw-rw-r--	action delete edit rename chmod
stypes.ml	6.1 KB	-rw-rw-r--	action delete edit rename chmod
stypes.mli	1.569 KB	-rw-rw-r--	action delete edit rename chmod
subst.ml	18.612 KB	-rw-rw-r--	action delete edit rename chmod
subst.mli	3.536 KB	-rw-rw-r--	action delete edit rename chmod
tast_iterator.ml	17.536 KB	-rw-rw-r--	action delete edit rename chmod
tast_iterator.mli	3.468 KB	-rw-rw-r--	action delete edit rename chmod
tast_mapper.ml	24.161 KB	-rw-rw-r--	action delete edit rename chmod
tast_mapper.mli	3.778 KB	-rw-rw-r--	action delete edit rename chmod
type_immediacy.ml	1.638 KB	-rw-rw-r--	action delete edit rename chmod
type_immediacy.mli	1.812 KB	-rw-rw-r--	action delete edit rename chmod
typeclass.ml	70.946 KB	-rw-rw-r--	action delete edit rename chmod
typeclass.mli	4.499 KB	-rw-rw-r--	action delete edit rename chmod
typecore.ml	195.124 KB	-rw-rw-r--	action delete edit rename chmod
typecore.mli	8.734 KB	-rw-rw-r--	action delete edit rename chmod
typedecl.ml	66.751 KB	-rw-rw-r--	action delete edit rename chmod
typedecl.mli	3.877 KB	-rw-rw-r--	action delete edit rename chmod
typedecl_immediacy.ml	3.173 KB	-rw-rw-r--	action delete edit rename chmod
typedecl_immediacy.mli	1.489 KB	-rw-rw-r--	action delete edit rename chmod
typedecl_properties.ml	2.955 KB	-rw-rw-r--	action delete edit rename chmod
typedecl_properties.mli	2.767 KB	-rw-rw-r--	action delete edit rename chmod
typedecl_unboxed.ml	2.556 KB	-rw-rw-r--	action delete edit rename chmod
typedecl_unboxed.mli	1.3 KB	-rw-rw-r--	action delete edit rename chmod
typedecl_variance.ml	13.658 KB	-rw-rw-r--	action delete edit rename chmod
typedecl_variance.mli	2.434 KB	-rw-rw-r--	action delete edit rename chmod
typedtree.ml	20.777 KB	-rw-rw-r--	action delete edit rename chmod
typedtree.mli	21.541 KB	-rw-rw-r--	action delete edit rename chmod
typemod.ml	105.227 KB	-rw-rw-r--	action delete edit rename chmod
typemod.mli	4.711 KB	-rw-rw-r--	action delete edit rename chmod
typeopt.ml	7.38 KB	-rw-rw-r--	action delete edit rename chmod
typeopt.mli	2.32 KB	-rw-rw-r--	action delete edit rename chmod
types.ml	12.454 KB	-rw-rw-r--	action delete edit rename chmod
types.mli	18.007 KB	-rw-rw-r--	action delete edit rename chmod
typetexp.ml	29.56 KB	-rw-rw-r--	action delete edit rename chmod
typetexp.mli	3.215 KB	-rw-rw-r--	action delete edit rename chmod
untypeast.ml	33.028 KB	-rw-rw-r--	action delete edit rename chmod
untypeast.mli	4.634 KB	-rw-rw-r--	action delete edit rename chmod