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	195561	log plain
-rw-r--r--	ctype.mli	20315	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	45229	log plain
-rw-r--r--	includemod.mli	8794	log plain
-rw-r--r--	includemod_errorprinter.ml	32240	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	28425	log plain
-rw-r--r--	oprint.mli	1998	log plain
-rw-r--r--	outcometree.mli	5551	log plain
-rw-r--r--	parmatch.ml	82770	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	84094	log plain
-rw-r--r--	printtyp.mli	9800	log plain
-rw-r--r--	printtyped.ml	31787	log plain
-rw-r--r--	printtyped.mli	1290	log plain
-rw-r--r--	rec_check.ml	42549	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	22811	log plain
-rw-r--r--	tast_iterator.mli	3673	log plain
-rw-r--r--	tast_mapper.ml	31736	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	78684	log plain
-rw-r--r--	typeclass.mli	4720	log plain
-rw-r--r--	typecore.ml	232168	log plain
-rw-r--r--	typecore.mli	9755	log plain
-rw-r--r--	typedecl.ml	81810	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	13671	log plain
-rw-r--r--	typedecl_variance.mli	2469	log plain
-rw-r--r--	typedtree.ml	25467	log plain
-rw-r--r--	typedtree.mli	25832	log plain
-rw-r--r--	typemod.ml	124890	log plain
-rw-r--r--	typemod.mli	4894	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	29304	log plain
-rw-r--r--	typetexp.mli	3785	log plain
-rw-r--r--	untypeast.ml	35070	log plain
-rw-r--r--	untypeast.mli	4865	log plain