aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel
ModeNameSize
d---------byterun484logplain
-rw-r--r--cbytecodes.ml9067logplain
-rw-r--r--cbytecodes.mli5541logplain
-rw-r--r--cbytegen.ml32895logplain
-rw-r--r--cbytegen.mli1746logplain
-rw-r--r--cemitcodes.ml11212logplain
-rw-r--r--cemitcodes.mli939logplain
-rw-r--r--closure.ml37261logplain
-rw-r--r--closure.mli6324logplain
-rw-r--r--conv_oracle.ml1570logplain
-rw-r--r--conv_oracle.mli1301logplain
-rw-r--r--cooking.ml3860logplain
-rw-r--r--cooking.mli1081logplain
-rw-r--r--csymtable.ml5260logplain
-rw-r--r--csymtable.mli171logplain
-rw-r--r--declarations.ml8934logplain
-rw-r--r--declarations.mli6731logplain
-rw-r--r--doc.tex277logplain
-rw-r--r--entries.ml3022logplain
-rw-r--r--entries.mli3039logplain
-rw-r--r--environ.ml20210logplain
-rw-r--r--environ.mli8885logplain
-rw-r--r--esubst.ml5582logplain
-rw-r--r--esubst.mli1906logplain
-rw-r--r--indtypes.ml24164logplain
-rw-r--r--indtypes.mli1330logplain
-rw-r--r--inductive.ml33303logplain
-rw-r--r--inductive.mli3945logplain
-rw-r--r--make-opcodes102logplain
-rw-r--r--mod_subst.ml9059logplain
-rw-r--r--mod_subst.mli2745logplain
-rw-r--r--mod_typing.ml10098logplain
-rw-r--r--mod_typing.mli926logplain
-rw-r--r--modops.ml11773logplain
-rw-r--r--modops.mli2996logplain
-rw-r--r--names.ml9939logplain
-rw-r--r--names.mli6003logplain
-rw-r--r--pre_env.ml3679logplain
-rw-r--r--pre_env.mli2400logplain
-rw-r--r--reduction.ml15290logplain
-rw-r--r--reduction.mli2520logplain
-rw-r--r--retroknowledge.ml8367logplain
-rw-r--r--retroknowledge.mli6024logplain
-rw-r--r--safe_typing.ml19242logplain
-rw-r--r--safe_typing.mli4108logplain
-rw-r--r--sign.ml6488logplain
-rw-r--r--sign.mli3883logplain
-rw-r--r--subtyping.ml13834logplain
-rw-r--r--subtyping.mli676logplain
-rw-r--r--term.ml40243logplain
-rw-r--r--term.mli18746logplain
-rw-r--r--term_typing.ml4489logplain
-rw-r--r--term_typing.mli1340logplain
-rw-r--r--type_errors.ml3743logplain
-rw-r--r--type_errors.mli3486logplain
-rw-r--r--typeops.ml16297logplain
-rw-r--r--typeops.mli3533logplain
-rw-r--r--univ.ml17856logplain
-rw-r--r--univ.mli2334logplain
-rw-r--r--vconv.ml7758logplain
-rw-r--r--vconv.mli841logplain
-rw-r--r--vm.ml18861logplain
-rw-r--r--vm.mli2304logplain