typing - delta/ocaml.git - github.com: ocaml/ocaml

Mode	Name	Size
-rw-r--r--	HACKING.adoc	2693	log plain
-rw-r--r--	TODO.md	4024	log plain
-rw-r--r--	annot.mli	1298	log plain
-rw-r--r--	btype.ml	25605	log plain
-rw-r--r--	btype.mli	10134	log plain
-rw-r--r--	cmt2annot.ml	6458	log plain
-rw-r--r--	ctype.ml	170085	log plain
-rw-r--r--	ctype.mli	17165	log plain
-rw-r--r--	datarepr.ml	9247	log plain
-rw-r--r--	datarepr.mli	2072	log plain
-rw-r--r--	env.ml	106050	log plain
-rw-r--r--	env.mli	16361	log plain
-rw-r--r--	envaux.ml	4619	log plain
-rw-r--r--	envaux.mli	1561	log plain
-rw-r--r--	ident.ml	10388	log plain
-rw-r--r--	ident.mli	2963	log plain
-rw-r--r--	includeclass.ml	4681	log plain
-rw-r--r--	includeclass.mli	1556	log plain
-rw-r--r--	includecore.ml	19916	log plain
-rw-r--r--	includecore.mli	3238	log plain
-rw-r--r--	includemod.ml	32983	log plain
-rw-r--r--	includemod.mli	3917	log plain
-rw-r--r--	mtype.ml	17983	log plain
-rw-r--r--	mtype.mli	3147	log plain
-rw-r--r--	oprint.ml	27938	log plain
-rw-r--r--	oprint.mli	1841	log plain
-rw-r--r--	outcometree.mli	5492	log plain
-rw-r--r--	parmatch.ml	86096	log plain
-rw-r--r--	parmatch.mli	5241	log plain
-rw-r--r--	path.ml	4058	log plain
-rw-r--r--	path.mli	1927	log plain
-rw-r--r--	patterns.ml	7776	log plain
-rw-r--r--	patterns.mli	3421	log plain
-rw-r--r--	persistent_env.ml	12221	log plain
-rw-r--r--	persistent_env.mli	4021	log plain
-rw-r--r--	predef.ml	9647	log plain
-rw-r--r--	predef.mli	3122	log plain
-rw-r--r--	primitive.ml	7835	log plain
-rw-r--r--	primitive.mli	2786	log plain
-rw-r--r--	printpat.ml	5676	log plain
-rw-r--r--	printpat.mli	1443	log plain
-rw-r--r--	printtyp.ml	72585	log plain
-rw-r--r--	printtyp.mli	7545	log plain
-rw-r--r--	printtyped.ml	30885	log plain
-rw-r--r--	printtyped.mli	1307	log plain
-rw-r--r--	rec_check.ml	42570	log plain
-rw-r--r--	rec_check.mli	1179	log plain
-rw-r--r--	stypes.ml	6304	log plain
-rw-r--r--	stypes.mli	1651	log plain
-rw-r--r--	subst.ml	19434	log plain
-rw-r--r--	subst.mli	3661	log plain
-rw-r--r--	tast_iterator.ml	18036	log plain
-rw-r--r--	tast_iterator.mli	3533	log plain
-rw-r--r--	tast_mapper.ml	24961	log plain
-rw-r--r--	tast_mapper.mli	3862	log plain
-rw-r--r--	type_immediacy.ml	1677	log plain
-rw-r--r--	type_immediacy.mli	1855	log plain
-rw-r--r--	typeclass.ml	72908	log plain
-rw-r--r--	typeclass.mli	4607	log plain
-rw-r--r--	typecore.ml	212639	log plain
-rw-r--r--	typecore.mli	9195	log plain
-rw-r--r--	typedecl.ml	69606	log plain
-rw-r--r--	typedecl.mli	4133	log plain
-rw-r--r--	typedecl_immediacy.ml	3249	log plain
-rw-r--r--	typedecl_immediacy.mli	1525	log plain
-rw-r--r--	typedecl_properties.ml	3026	log plain
-rw-r--r--	typedecl_properties.mli	2833	log plain
-rw-r--r--	typedecl_separability.ml	30346	log plain
-rw-r--r--	typedecl_separability.mli	6710	log plain
-rw-r--r--	typedecl_unboxed.ml	2617	log plain
-rw-r--r--	typedecl_unboxed.mli	1331	log plain
-rw-r--r--	typedecl_variance.ml	15192	log plain
-rw-r--r--	typedecl_variance.mli	2519	log plain
-rw-r--r--	typedtree.ml	24741	log plain
-rw-r--r--	typedtree.mli	24870	log plain
-rw-r--r--	typemod.ml	109617	log plain
-rw-r--r--	typemod.mli	4824	log plain
-rw-r--r--	typeopt.ml	7557	log plain
-rw-r--r--	typeopt.mli	2376	log plain
-rw-r--r--	types.ml	15180	log plain
-rw-r--r--	types.mli	20666	log plain
-rw-r--r--	typetexp.ml	30422	log plain
-rw-r--r--	typetexp.mli	3360	log plain
-rw-r--r--	untypeast.ml	33934	log plain
-rw-r--r--	untypeast.mli	4710	log plain