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	1293	log plain
-rw-r--r--	btype.ml	24710	log plain
-rw-r--r--	btype.mli	11997	log plain
-rw-r--r--	cmt2annot.ml	6458	log plain
-rw-r--r--	cmt2annot.mli	1252	log plain
-rw-r--r--	ctype.ml	197190	log plain
-rw-r--r--	ctype.mli	20265	log plain
-rw-r--r--	datarepr.ml	8571	log plain
-rw-r--r--	datarepr.mli	1967	log plain
-rw-r--r--	env.ml	123582	log plain
-rw-r--r--	env.mli	19505	log plain
-rw-r--r--	envaux.ml	4619	log plain
-rw-r--r--	envaux.mli	1561	log plain
-rw-r--r--	errortrace.ml	6411	log plain
-rw-r--r--	errortrace.mli	6532	log plain
-rw-r--r--	ident.ml	11317	log plain
-rw-r--r--	ident.mli	4265	log plain
-rw-r--r--	includeclass.ml	4699	log plain
-rw-r--r--	includeclass.mli	1586	log plain
-rw-r--r--	includecore.ml	36675	log plain
-rw-r--r--	includecore.mli	4382	log plain
-rw-r--r--	includemod.ml	45896	log plain
-rw-r--r--	includemod.mli	8932	log plain
-rw-r--r--	includemod_errorprinter.ml	32493	log plain
-rw-r--r--	includemod_errorprinter.mli	1171	log plain
-rw-r--r--	mtype.ml	19541	log plain
-rw-r--r--	mtype.mli	3147	log plain
-rw-r--r--	oprint.ml	28333	log plain
-rw-r--r--	oprint.mli	1998	log plain
-rw-r--r--	outcometree.mli	5572	log plain
-rw-r--r--	parmatch.ml	81627	log plain
-rw-r--r--	parmatch.mli	4748	log plain
-rw-r--r--	path.ml	4818	log plain
-rw-r--r--	path.mli	2953	log plain
-rw-r--r--	patterns.ml	7774	log plain
-rw-r--r--	patterns.mli	3421	log plain
-rw-r--r--	persistent_env.ml	11575	log plain
-rw-r--r--	persistent_env.mli	3979	log plain
-rw-r--r--	predef.ml	9468	log plain
-rw-r--r--	predef.mli	3117	log plain
-rw-r--r--	primitive.ml	8634	log plain
-rw-r--r--	primitive.mli	2911	log plain
-rw-r--r--	printpat.ml	6054	log plain
-rw-r--r--	printpat.mli	1443	log plain
-rw-r--r--	printtyp.ml	87340	log plain
-rw-r--r--	printtyp.mli	10321	log plain
-rw-r--r--	printtyped.ml	31881	log plain
-rw-r--r--	printtyped.mli	1290	log plain
-rw-r--r--	rec_check.ml	42606	log plain
-rw-r--r--	rec_check.mli	1179	log plain
-rw-r--r--	shape.ml	18080	log plain
-rw-r--r--	shape.mli	4573	log plain
-rw-r--r--	signature_group.ml	5843	log plain
-rw-r--r--	signature_group.mli	3598	log plain
-rw-r--r--	stypes.ml	6208	log plain
-rw-r--r--	stypes.mli	1636	log plain
-rw-r--r--	subst.ml	26620	log plain
-rw-r--r--	subst.mli	6014	log plain
-rw-r--r--	tast_iterator.ml	22873	log plain
-rw-r--r--	tast_iterator.mli	3673	log plain
-rw-r--r--	tast_mapper.ml	31819	log plain
-rw-r--r--	tast_mapper.mli	4015	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	79300	log plain
-rw-r--r--	typeclass.mli	4791	log plain
-rw-r--r--	typecore.ml	239228	log plain
-rw-r--r--	typecore.mli	9908	log plain
-rw-r--r--	typedecl.ml	83186	log plain
-rw-r--r--	typedecl.mli	4458	log plain
-rw-r--r--	typedecl_immediacy.ml	2963	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	28351	log plain
-rw-r--r--	typedecl_separability.mli	6710	log plain
-rw-r--r--	typedecl_unboxed.ml	2200	log plain
-rw-r--r--	typedecl_unboxed.mli	1265	log plain
-rw-r--r--	typedecl_variance.ml	15282	log plain
-rw-r--r--	typedecl_variance.mli	2869	log plain
-rw-r--r--	typedtree.ml	25502	log plain
-rw-r--r--	typedtree.mli	25972	log plain
-rw-r--r--	typemod.ml	127854	log plain
-rw-r--r--	typemod.mli	4999	log plain
-rw-r--r--	typeopt.ml	8085	log plain
-rw-r--r--	typeopt.mli	2376	log plain
-rw-r--r--	types.ml	28570	log plain
-rw-r--r--	types.mli	26224	log plain
-rw-r--r--	typetexp.ml	33959	log plain
-rw-r--r--	typetexp.mli	4066	log plain
-rw-r--r--	untypeast.ml	35222	log plain
-rw-r--r--	untypeast.mli	4865	log plain