aboutsummaryrefslogtreecommitdiff
path: root/kernel
ModeNameSize
-rw-r--r--.merlin.in109logplain
d---------byterun531logplain
-rw-r--r--cClosure.ml58934logplain
-rw-r--r--cClosure.mli8785logplain
-rw-r--r--cPrimitives.ml12562logplain
-rw-r--r--cPrimitives.mli3638logplain
-rw-r--r--constr.ml62158logplain
-rw-r--r--constr.mli24985logplain
-rw-r--r--context.ml18569logplain
-rw-r--r--context.mli13627logplain
-rw-r--r--conv_oracle.ml3918logplain
-rw-r--r--conv_oracle.mli1883logplain
-rw-r--r--cooking.ml14883logplain
-rw-r--r--cooking.mli1527logplain
-rw-r--r--declarations.ml12404logplain
-rw-r--r--declareops.ml14609logplain
-rw-r--r--declareops.mli3373logplain
-rw-r--r--doc.tex277logplain
-rw-r--r--dune838logplain
-rw-r--r--entries.ml4452logplain
-rw-r--r--environ.ml28733logplain
-rw-r--r--environ.mli15537logplain
-rw-r--r--esubst.ml8417logplain
-rw-r--r--esubst.mli4443logplain
-rw-r--r--evar.ml877logplain
-rw-r--r--evar.mli1526logplain
-rw-r--r--float64.mli2935logplain
-rw-r--r--float64_31.ml1559logplain
-rw-r--r--float64_63.ml1459logplain
-rw-r--r--float64_common.ml4624logplain
-rw-r--r--float64_common.mli2832logplain
-rw-r--r--genOpcodeFiles.ml4864logplain
-rw-r--r--indTyping.ml16877logplain
-rw-r--r--indTyping.mli1868logplain
-rw-r--r--indtypes.ml26147logplain
-rw-r--r--indtypes.mli889logplain
-rw-r--r--inductive.ml58324logplain
-rw-r--r--inductive.mli6863logplain
-rw-r--r--inferCumulativity.ml10969logplain
-rw-r--r--inferCumulativity.mli1140logplain
-rw-r--r--kernel.mllib545logplain
-rw-r--r--mod_subst.ml18418logplain
-rw-r--r--mod_subst.mli5558logplain
-rw-r--r--mod_typing.ml14642logplain
-rw-r--r--mod_typing.mli2433logplain
-rw-r--r--modops.ml22374logplain
-rw-r--r--modops.mli5254logplain
-rw-r--r--names.ml33124logplain
-rw-r--r--names.mli22145logplain
-rw-r--r--nativecode.ml78796logplain
-rw-r--r--nativecode.mli2468logplain
-rw-r--r--nativeconv.ml7878logplain
-rw-r--r--nativeconv.mli1053logplain
-rw-r--r--nativelambda.ml23346logplain
-rw-r--r--nativelambda.mli3011logplain
-rw-r--r--nativelib.ml7512logplain
-rw-r--r--nativelib.mli1864logplain
-rw-r--r--nativelibrary.ml2912logplain
-rw-r--r--nativelibrary.mli930logplain
-rw-r--r--nativevalues.ml19265logplain
-rw-r--r--nativevalues.mli8699logplain
-rw-r--r--opaqueproof.ml5013logplain
-rw-r--r--opaqueproof.mli2692logplain
-rw-r--r--parray.ml3159logplain
-rw-r--r--parray.mli1495logplain
-rw-r--r--primred.ml12974logplain
-rw-r--r--primred.mli2608logplain
-rw-r--r--reduction.ml46675logplain
-rw-r--r--reduction.mli5498logplain
-rw-r--r--relevanceops.ml4919logplain
-rw-r--r--relevanceops.mli1414logplain
-rw-r--r--retroknowledge.ml2281logplain
-rw-r--r--retroknowledge.mli1825logplain
-rw-r--r--safe_typing.ml54619logplain
-rw-r--r--safe_typing.mli8077logplain
-rw-r--r--section.ml6416logplain
-rw-r--r--section.mli3698logplain
-rw-r--r--sorts.ml3897logplain
-rw-r--r--sorts.mli1709logplain
-rw-r--r--subtyping.ml14821logplain
-rw-r--r--subtyping.mli799logplain
-rw-r--r--term.ml13055logplain
-rw-r--r--term.mli8099logplain
-rw-r--r--term_typing.ml15446logplain
-rw-r--r--term_typing.mli2057logplain
-rw-r--r--transparentState.ml1216logplain
-rw-r--r--transparentState.mli1078logplain
-rw-r--r--type_errors.ml8626logplain
-rw-r--r--type_errors.mli5913logplain
-rw-r--r--typeops.ml28600logplain
-rw-r--r--typeops.mli5178logplain
-rw-r--r--uGraph.ml8423logplain
-rw-r--r--uGraph.mli4065logplain
-rw-r--r--uint63.mli2394logplain
-rw-r--r--uint63_31.ml7581logplain
-rw-r--r--uint63_63.ml6523logplain
-rw-r--r--univ.ml34136logplain
-rw-r--r--univ.mli14939logplain
-rw-r--r--vars.ml12486logplain
-rw-r--r--vars.mli6746logplain
-rw-r--r--vconv.ml8120logplain
-rw-r--r--vconv.mli1032logplain
-rw-r--r--vm.ml6112logplain
-rw-r--r--vm.mli1446logplain
-rw-r--r--vmbytecodes.ml5319logplain
-rw-r--r--vmbytecodes.mli3096logplain
-rw-r--r--vmbytegen.ml33772logplain
-rw-r--r--vmbytegen.mli1319logplain
-rw-r--r--vmemitcodes.ml17932logplain
-rw-r--r--vmemitcodes.mli1571logplain
-rw-r--r--vmlambda.ml25308logplain
-rw-r--r--vmlambda.mli1459logplain
-rw-r--r--vmsymtable.ml7056logplain
-rw-r--r--vmsymtable.mli923logplain
-rw-r--r--vmvalues.ml24698logplain
-rw-r--r--vmvalues.mli5235logplain
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:18:10 +0000