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

Mode	Name	Size
-rw-r--r--	annot.mli	1046	log plain
-rw-r--r--	btype.ml	16983	log plain
-rw-r--r--	btype.mli	6634	log plain
-rw-r--r--	cmi_format.ml	3173	log plain
-rw-r--r--	cmi_format.mli	1554	log plain
-rw-r--r--	cmt_format.ml	8192	log plain
-rw-r--r--	cmt_format.mli	3867	log plain
-rw-r--r--	ctype.ml	141565	log plain
-rw-r--r--	ctype.mli	12234	log plain
-rw-r--r--	datarepr.ml	4989	log plain
-rw-r--r--	datarepr.mli	1536	log plain
-rw-r--r--	env.ml	45197	log plain
-rw-r--r--	env.mli	8317	log plain
-rw-r--r--	envaux.ml	3013	log plain
-rw-r--r--	envaux.mli	1306	log plain
-rw-r--r--	ident.ml	5146	log plain
-rw-r--r--	ident.mli	2226	log plain
-rw-r--r--	includeclass.ml	4202	log plain
-rw-r--r--	includeclass.mli	1308	log plain
-rw-r--r--	includecore.ml	10895	log plain
-rw-r--r--	includecore.mli	1731	log plain
-rw-r--r--	includemod.ml	17866	log plain
-rw-r--r--	includemod.mli	2220	log plain
-rw-r--r--	mtype.ml	7823	log plain
-rw-r--r--	mtype.mli	2057	log plain
-rw-r--r--	oprint.ml	16669	log plain
-rw-r--r--	oprint.mli	1310	log plain
-rw-r--r--	outcometree.mli	3980	log plain
-rw-r--r--	parmatch.ml	65139	log plain
-rw-r--r--	parmatch.mli	2810	log plain
-rw-r--r--	path.ml	1987	log plain
-rw-r--r--	path.mli	1189	log plain
-rw-r--r--	predef.ml	9314	log plain
-rw-r--r--	predef.mli	2234	log plain
-rw-r--r--	primitive.ml	2731	log plain
-rw-r--r--	primitive.mli	1423	log plain
-rw-r--r--	printtyp.ml	37077	log plain
-rw-r--r--	printtyp.mli	3537	log plain
-rw-r--r--	printtyped.ml	24933	log plain
-rw-r--r--	printtyped.mli	950	log plain
-rw-r--r--	stypes.ml	4978	log plain
-rw-r--r--	stypes.mli	1355	log plain
-rw-r--r--	subst.ml	11516	log plain
-rw-r--r--	subst.mli	2424	log plain
-rw-r--r--	typeclass.ml	61497	log plain
-rw-r--r--	typeclass.mli	4011	log plain
-rw-r--r--	typecore.ml	121412	log plain
-rw-r--r--	typecore.mli	5315	log plain
-rw-r--r--	typedecl.ml	42427	log plain
-rw-r--r--	typedecl.mli	3213	log plain
-rw-r--r--	typedtree.ml	15297	log plain
-rw-r--r--	typedtree.mli	13283	log plain
-rw-r--r--	typedtreeIter.ml	22552	log plain
-rw-r--r--	typedtreeIter.mli	4333	log plain
-rw-r--r--	typedtreeMap.ml	26967	log plain
-rw-r--r--	typedtreeMap.mli	4413	log plain
-rw-r--r--	typemod.ml	56802	log plain
-rw-r--r--	typemod.mli	2666	log plain
-rw-r--r--	types.ml	7608	log plain
-rw-r--r--	types.mli	7580	log plain
-rw-r--r--	typetexp.ml	27396	log plain
-rw-r--r--	typetexp.mli	4034	log plain