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

Mode	Name	Size
-rw-r--r--	annot.mli	1034	log plain
-rw-r--r--	btype.ml	17213	log plain
-rw-r--r--	btype.mli	6729	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	147482	log plain
-rw-r--r--	ctype.mli	12617	log plain
-rw-r--r--	datarepr.ml	5260	log plain
-rw-r--r--	datarepr.mli	1441	log plain
-rw-r--r--	env.ml	53338	log plain
-rw-r--r--	env.mli	9062	log plain
-rw-r--r--	envaux.ml	3257	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	11100	log plain
-rw-r--r--	includecore.mli	1719	log plain
-rw-r--r--	includemod.ml	18986	log plain
-rw-r--r--	includemod.mli	2216	log plain
-rw-r--r--	mtype.ml	8926	log plain
-rw-r--r--	mtype.mli	2174	log plain
-rw-r--r--	oprint.ml	17258	log plain
-rw-r--r--	oprint.mli	1298	log plain
-rw-r--r--	outcometree.mli	3977	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	8240	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	47261	log plain
-rw-r--r--	printtyp.mli	3901	log plain
-rw-r--r--	printtyped.ml	26465	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	12755	log plain
-rw-r--r--	subst.mli	2482	log plain
-rw-r--r--	typeclass.ml	65682	log plain
-rw-r--r--	typeclass.mli	4080	log plain
-rw-r--r--	typecore.ml	144311	log plain
-rw-r--r--	typecore.mli	5614	log plain
-rw-r--r--	typedecl.ml	49061	log plain
-rw-r--r--	typedecl.mli	3301	log plain
-rw-r--r--	typedtree.ml	15950	log plain
-rw-r--r--	typedtree.mli	13805	log plain
-rw-r--r--	typedtreeIter.ml	21580	log plain
-rw-r--r--	typedtreeIter.mli	4071	log plain
-rw-r--r--	typedtreeMap.ml	25524	log plain
-rw-r--r--	typedtreeMap.mli	4133	log plain
-rw-r--r--	typemod.ml	61602	log plain
-rw-r--r--	typemod.mli	2686	log plain
-rw-r--r--	types.ml	9503	log plain
-rw-r--r--	types.mli	9447	log plain
-rw-r--r--	typetexp.ml	32337	log plain
-rw-r--r--	typetexp.mli	4678	log plain