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

Mode	Name	Size
-rw-r--r--	annot.mli	1034	log plain
-rw-r--r--	btype.ml	17154	log plain
-rw-r--r--	btype.mli	6659	log plain
-rw-r--r--	cmi_format.ml	3330	log plain
-rw-r--r--	cmi_format.mli	1554	log plain
-rw-r--r--	cmt_format.ml	7817	log plain
-rw-r--r--	cmt_format.mli	3867	log plain
-rw-r--r--	ctype.ml	146214	log plain
-rw-r--r--	ctype.mli	12554	log plain
-rw-r--r--	datarepr.ml	5042	log plain
-rw-r--r--	datarepr.mli	1524	log plain
-rw-r--r--	env.ml	52673	log plain
-rw-r--r--	env.mli	8859	log plain
-rw-r--r--	envaux.ml	3194	log plain
-rw-r--r--	envaux.mli	1294	log plain
-rw-r--r--	ident.ml	5879	log plain
-rw-r--r--	ident.mli	2392	log plain
-rw-r--r--	includeclass.ml	4271	log plain
-rw-r--r--	includeclass.mli	1296	log plain
-rw-r--r--	includecore.ml	10987	log plain
-rw-r--r--	includecore.mli	1719	log plain
-rw-r--r--	includemod.ml	18635	log plain
-rw-r--r--	includemod.mli	2216	log plain
-rw-r--r--	mtype.ml	7811	log plain
-rw-r--r--	mtype.mli	2045	log plain
-rw-r--r--	oprint.ml	17138	log plain
-rw-r--r--	oprint.mli	1298	log plain
-rw-r--r--	outcometree.mli	3970	log plain
-rw-r--r--	parmatch.ml	64385	log plain
-rw-r--r--	parmatch.mli	2711	log plain
-rw-r--r--	path.ml	1975	log plain
-rw-r--r--	path.mli	1177	log plain
-rw-r--r--	predef.ml	8080	log plain
-rw-r--r--	predef.mli	2222	log plain
-rw-r--r--	primitive.ml	2719	log plain
-rw-r--r--	primitive.mli	1411	log plain
-rw-r--r--	printtyp.ml	47087	log plain
-rw-r--r--	printtyp.mli	3901	log plain
-rw-r--r--	printtyped.ml	26443	log plain
-rw-r--r--	printtyped.mli	1043	log plain
-rw-r--r--	stypes.ml	5863	log plain
-rw-r--r--	stypes.mli	1343	log plain
-rw-r--r--	subst.ml	11508	log plain
-rw-r--r--	subst.mli	2412	log plain
-rw-r--r--	typeclass.ml	64526	log plain
-rw-r--r--	typeclass.mli	4073	log plain
-rw-r--r--	typecore.ml	141751	log plain
-rw-r--r--	typecore.mli	5566	log plain
-rw-r--r--	typedecl.ml	48316	log plain
-rw-r--r--	typedecl.mli	3301	log plain
-rw-r--r--	typedtree.ml	15929	log plain
-rw-r--r--	typedtree.mli	13784	log plain
-rw-r--r--	typedtreeIter.ml	21562	log plain
-rw-r--r--	typedtreeIter.mli	4071	log plain
-rw-r--r--	typedtreeMap.ml	25498	log plain
-rw-r--r--	typedtreeMap.mli	4133	log plain
-rw-r--r--	typemod.ml	61258	log plain
-rw-r--r--	typemod.mli	2665	log plain
-rw-r--r--	types.ml	8600	log plain
-rw-r--r--	types.mli	8522	log plain
-rw-r--r--	typetexp.ml	30456	log plain
-rw-r--r--	typetexp.mli	4527	log plain