/checker/

• ../
• .depend
• Makefile
• check.ml
• check.mllib
• check_stat.ml
• check_stat.mli
• checker.ml
• cic.mli
• closure.ml
• closure.mli
• declarations.ml
• declarations.mli
• environ.ml
• environ.mli
• include
• indtypes.ml
• indtypes.mli
• inductive.ml
• inductive.mli
• main.ml
• mod_checking.ml
• mod_checking.mli
• modops.ml
• modops.mli
• print.ml
• reduction.ml
• reduction.mli
• safe_typing.ml
• safe_typing.mli
• subtyping.ml
• subtyping.mli
• term.ml
• term.mli
• type_errors.ml
• type_errors.mli
• typeops.ml
• typeops.mli
• univ.ml
• univ.mli
• validate.ml
• values.ml
• votour.ml