aboutsummaryrefslogtreecommitdiff
path: root/kernel
ModeNameSize
-rw-r--r--.merlin.in109logplain
d---------byterun526logplain
-rw-r--r--cClosure.ml45107logplain
-rw-r--r--cClosure.mli7775logplain
-rw-r--r--cPrimitives.ml3858logplain
-rw-r--r--cPrimitives.mli1679logplain
-rw-r--r--cbytecodes.ml5200logplain
-rw-r--r--cbytecodes.mli3059logplain
-rw-r--r--cbytegen.ml32817logplain
-rw-r--r--cbytegen.mli1299logplain
-rw-r--r--cemitcodes.ml16485logplain
-rw-r--r--cemitcodes.mli1383logplain
-rw-r--r--clambda.ml25604logplain
-rw-r--r--clambda.mli1407logplain
-rw-r--r--constr.ml54495logplain
-rw-r--r--constr.mli25239logplain
-rw-r--r--context.ml17630logplain
-rw-r--r--context.mli12548logplain
-rw-r--r--conv_oracle.ml3773logplain
-rw-r--r--conv_oracle.mli1856logplain
-rw-r--r--cooking.ml8649logplain
-rw-r--r--cooking.mli1319logplain
-rw-r--r--csymtable.ml6136logplain
-rw-r--r--csymtable.mli923logplain
-rw-r--r--declarations.ml11729logplain
-rw-r--r--declareops.ml13264logplain
-rw-r--r--declareops.mli3146logplain
-rw-r--r--doc.tex277logplain
-rw-r--r--dune768logplain
-rw-r--r--entries.ml4562logplain
-rw-r--r--environ.ml23834logplain
-rw-r--r--environ.mli13280logplain
-rw-r--r--esubst.ml6859logplain
-rw-r--r--esubst.mli3437logplain
-rw-r--r--evar.ml877logplain
-rw-r--r--evar.mli1526logplain
-rw-r--r--genOpcodeFiles.ml4433logplain
-rw-r--r--indTyping.ml12626logplain
-rw-r--r--indTyping.mli1367logplain
-rw-r--r--indtypes.ml24665logplain
-rw-r--r--indtypes.mli1452logplain
-rw-r--r--inductive.ml46801logplain
-rw-r--r--inductive.mli5426logplain
-rw-r--r--kernel.mllib470logplain
-rw-r--r--mod_subst.ml18080logplain
-rw-r--r--mod_subst.mli5970logplain
-rw-r--r--mod_typing.ml14645logplain
-rw-r--r--mod_typing.mli2373logplain
-rw-r--r--modops.ml22162logplain
-rw-r--r--modops.mli5254logplain
-rw-r--r--names.ml30648logplain
-rw-r--r--names.mli19341logplain
-rw-r--r--nativecode.ml74276logplain
-rw-r--r--nativecode.mli2517logplain
-rw-r--r--nativeconv.ml7288logplain
-rw-r--r--nativeconv.mli1053logplain
-rw-r--r--nativelambda.ml20834logplain
-rw-r--r--nativelambda.mli2796logplain
-rw-r--r--nativelib.ml5784logplain
-rw-r--r--nativelib.mli1381logplain
-rw-r--r--nativelibrary.ml2828logplain
-rw-r--r--nativelibrary.mli917logplain
-rw-r--r--nativevalues.ml13249logplain
-rw-r--r--nativevalues.mli5715logplain
-rw-r--r--opaqueproof.ml6061logplain
-rw-r--r--opaqueproof.mli3457logplain
-rw-r--r--primred.ml6542logplain
-rw-r--r--primred.mli1248logplain
-rw-r--r--reduction.ml37558logplain
-rw-r--r--reduction.mli5569logplain
-rw-r--r--retroknowledge.ml1576logplain
-rw-r--r--retroknowledge.mli1218logplain
-rw-r--r--safe_typing.ml45559logplain
-rw-r--r--safe_typing.mli7730logplain
-rw-r--r--sorts.ml2865logplain
-rw-r--r--sorts.mli1353logplain
-rw-r--r--subtyping.ml14481logplain
-rw-r--r--subtyping.mli799logplain
-rw-r--r--term.ml13559logplain
-rw-r--r--term.mli8061logplain
-rw-r--r--term_typing.ml14851logplain
-rw-r--r--term_typing.mli1910logplain
-rw-r--r--transparentState.ml1216logplain
-rw-r--r--transparentState.mli1078logplain
-rw-r--r--type_errors.ml7888logplain
-rw-r--r--type_errors.mli5363logplain
-rw-r--r--typeops.ml22156logplain
-rw-r--r--typeops.mli4912logplain
-rw-r--r--uGraph.ml6118logplain
-rw-r--r--uGraph.mli3437logplain
-rw-r--r--uint63.mli1095logplain
-rw-r--r--uint63_amd64.ml6255logplain
-rw-r--r--uint63_x86.ml7264logplain
-rw-r--r--univ.ml32893logplain
-rw-r--r--univ.mli14487logplain
-rw-r--r--vars.ml10243logplain
-rw-r--r--vars.mli6890logplain
-rw-r--r--vconv.ml7586logplain
-rw-r--r--vconv.mli1032logplain
-rw-r--r--vm.ml5971logplain
-rw-r--r--vm.mli1446logplain
-rw-r--r--vmvalues.ml23621logplain
-rw-r--r--vmvalues.mli4970logplain
-rw-r--r--write_uint63.ml1476logplain
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 17:45:31 +0000