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

Mode	Name	Size
-rw-r--r--	annot.mli	1034	log plain
-rw-r--r--	btype.ml	21950	log plain
-rw-r--r--	btype.mli	8453	log plain
-rw-r--r--	cmi_format.ml	3355	log plain
-rw-r--r--	cmi_format.mli	1561	log plain
-rw-r--r--	cmt_format.ml	6823	log plain
-rw-r--r--	cmt_format.mli	4079	log plain
-rw-r--r--	ctype.ml	155483	log plain
-rw-r--r--	ctype.mli	13261	log plain
-rw-r--r--	datarepr.ml	7472	log plain
-rw-r--r--	datarepr.mli	1346	log plain
-rw-r--r--	env.ml	62035	log plain
-rw-r--r--	env.mli	10240	log plain
-rw-r--r--	envaux.ml	3510	log plain
-rw-r--r--	envaux.mli	1294	log plain
-rw-r--r--	ident.ml	6124	log plain
-rw-r--r--	ident.mli	2467	log plain
-rw-r--r--	includeclass.ml	4271	log plain
-rw-r--r--	includeclass.mli	1296	log plain
-rw-r--r--	includecore.ml	12772	log plain
-rw-r--r--	includecore.mli	1730	log plain
-rw-r--r--	includemod.ml	22818	log plain
-rw-r--r--	includemod.mli	2464	log plain
-rw-r--r--	mtype.ml	13422	log plain
-rw-r--r--	mtype.mli	2230	log plain
-rw-r--r--	oprint.ml	21589	log plain
-rw-r--r--	oprint.mli	1369	log plain
-rw-r--r--	outcometree.mli	4669	log plain
-rw-r--r--	parmatch.ml	63331	log plain
-rw-r--r--	parmatch.mli	2657	log plain
-rw-r--r--	path.ml	2515	log plain
-rw-r--r--	path.mli	1352	log plain
-rw-r--r--	predef.ml	8578	log plain
-rw-r--r--	predef.mli	2251	log plain
-rw-r--r--	primitive.ml	4752	log plain
-rw-r--r--	primitive.mli	1971	log plain
-rw-r--r--	printtyp.ml	50892	log plain
-rw-r--r--	printtyp.mli	4134	log plain
-rw-r--r--	printtyped.ml	28016	log plain
-rw-r--r--	printtyped.mli	1043	log plain
-rw-r--r--	stypes.ml	5948	log plain
-rw-r--r--	stypes.mli	1343	log plain
-rw-r--r--	subst.ml	14084	log plain
-rw-r--r--	subst.mli	2596	log plain
-rw-r--r--	tast_mapper.ml	21830	log plain
-rw-r--r--	tast_mapper.mli	3212	log plain
-rw-r--r--	typeclass.ml	67494	log plain
-rw-r--r--	typeclass.mli	4102	log plain
-rw-r--r--	typecore.ml	156882	log plain
-rw-r--r--	typecore.mli	5948	log plain
-rw-r--r--	typedecl.ml	64637	log plain
-rw-r--r--	typedecl.mli	3770	log plain
-rw-r--r--	typedtree.ml	17572	log plain
-rw-r--r--	typedtree.mli	15374	log plain
-rw-r--r--	typedtreeIter.ml	23354	log plain
-rw-r--r--	typedtreeIter.mli	4394	log plain
-rw-r--r--	typedtreeMap.ml	27646	log plain
-rw-r--r--	typedtreeMap.mli	4467	log plain
-rw-r--r--	typemod.ml	67924	log plain
-rw-r--r--	typemod.mli	3099	log plain
-rw-r--r--	types.ml	10369	log plain
-rw-r--r--	types.mli	10290	log plain
-rw-r--r--	typetexp.ml	36337	log plain
-rw-r--r--	typetexp.mli	4858	log plain
-rw-r--r--	untypeast.ml	29322	log plain
-rw-r--r--	untypeast.mli	4056	log plain