typing - adrien/ocaml - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	btype.ml	12845	log stats plain
-rw-r--r--	btype.mli	5419	log stats plain
-rw-r--r--	ctype.ml	108044	log stats plain
-rw-r--r--	ctype.mli	10352	log stats plain
-rw-r--r--	datarepr.ml	3399	log stats plain
-rw-r--r--	datarepr.mli	1428	log stats plain
-rw-r--r--	env.ml	26393	log stats plain
-rw-r--r--	env.mli	5104	log stats plain
-rw-r--r--	ident.ml	4402	log stats plain
-rw-r--r--	ident.mli	2026	log stats plain
-rw-r--r--	includeclass.ml	3989	log stats plain
-rw-r--r--	includeclass.mli	1315	log stats plain
-rw-r--r--	includecore.ml	4098	log stats plain
-rw-r--r--	includecore.mli	1290	log stats plain
-rw-r--r--	includemod.ml	13912	log stats plain
-rw-r--r--	includemod.mli	2012	log stats plain
-rw-r--r--	mtype.ml	4725	log stats plain
-rw-r--r--	mtype.mli	1473	log stats plain
-rw-r--r--	oprint.ml	15263	log stats plain
-rw-r--r--	oprint.mli	1268	log stats plain
-rw-r--r--	outcometree.mli	3713	log stats plain
-rw-r--r--	parmatch.ml	48310	log stats plain
-rw-r--r--	parmatch.mli	2040	log stats plain
-rw-r--r--	path.ml	1668	log stats plain
-rw-r--r--	path.mli	1052	log stats plain
-rw-r--r--	predef.ml	6951	log stats plain
-rw-r--r--	predef.mli	2144	log stats plain
-rw-r--r--	primitive.ml	2602	log stats plain
-rw-r--r--	primitive.mli	1346	log stats plain
-rw-r--r--	printtyp.ml	28607	log stats plain
-rw-r--r--	printtyp.mli	3243	log stats plain
-rw-r--r--	stypes.ml	2697	log stats plain
-rw-r--r--	stypes.mli	1214	log stats plain
-rw-r--r--	subst.ml	9929	log stats plain
-rw-r--r--	subst.mli	2224	log stats plain
-rw-r--r--	typeclass.ml	48552	log stats plain
-rw-r--r--	typeclass.mli	2834	log stats plain
-rw-r--r--	typecore.ml	76022	log stats plain
-rw-r--r--	typecore.mli	4297	log stats plain
-rw-r--r--	typedecl.ml	23732	log stats plain
-rw-r--r--	typedecl.mli	2327	log stats plain
-rw-r--r--	typedtree.ml	7574	log stats plain
-rw-r--r--	typedtree.mli	5759	log stats plain
-rw-r--r--	typemod.ml	25944	log stats plain
-rw-r--r--	typemod.mli	2149	log stats plain
-rw-r--r--	types.ml	6239	log stats plain
-rw-r--r--	types.mli	6386	log stats plain
-rw-r--r--	typetexp.ml	22459	log stats plain
-rw-r--r--	typetexp.mli	2520	log stats plain