| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1589 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (10 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (24 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (137 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (50 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (262 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (184 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (45 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (37 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (19 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (742 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |
C (definition)
c [in VerifiedExtraction.Benchmarks.lib.vs]camlType_rect [in Malfunction.RealizabilitySemantics]
CanonicalHeap [in Malfunction.Interpreter]
CanonicalHeap [in Malfunction.SemanticsSpec]
CanonicalPointer [in Malfunction.SemanticsSpec]
capitalize [in Malfunction.PrintMli]
capitalize_char [in Malfunction.PrintMli]
carry [in VerifiedExtraction.Benchmarks.lib.Binom]
case_sind [in Malfunction.Malfunction]
case_rec [in Malfunction.Malfunction]
case_ind [in Malfunction.Malfunction]
case_rect [in Malfunction.Malfunction]
cclose [in VerifiedExtraction.Benchmarks.lib.vs]
cclose_aux [in VerifiedExtraction.Benchmarks.lib.vs]
ce_harder_ent3 [in VerifiedExtraction.Benchmarks.lib.vs]
ce_harder_ent2 [in VerifiedExtraction.Benchmarks.lib.vs]
ce_harder_ent [in VerifiedExtraction.Benchmarks.lib.vs]
ce_example_ent [in VerifiedExtraction.Benchmarks.lib.vs]
ce_example2_myfail [in VerifiedExtraction.Benchmarks.lib.vs]
ce_example1_myfail [in VerifiedExtraction.Benchmarks.lib.vs]
ce_example2_myent [in VerifiedExtraction.Benchmarks.lib.vs]
ce_example1_myent [in VerifiedExtraction.Benchmarks.lib.vs]
ce_example_myent [in VerifiedExtraction.Benchmarks.lib.vs]
ce_type_sind [in VerifiedExtraction.Benchmarks.lib.vs]
ce_type_rec [in VerifiedExtraction.Benchmarks.lib.vs]
ce_type_ind [in VerifiedExtraction.Benchmarks.lib.vs]
ce_type_rect [in VerifiedExtraction.Benchmarks.lib.vs]
char63_to_byte [in Malfunction.Compile]
check_lt [in Top.test_extraction_malfunction]
check_good_for_extraction [in Malfunction.Pipeline]
check_good_for_extraction_rec [in Malfunction.Pipeline]
clause_list2set [in VerifiedExtraction.Benchmarks.lib.vs]
clause_length [in VerifiedExtraction.Benchmarks.lib.vs]
clause_prio [in VerifiedExtraction.Benchmarks.lib.vs]
clause_sind [in VerifiedExtraction.Benchmarks.lib.vs]
clause_rec [in VerifiedExtraction.Benchmarks.lib.vs]
clause_ind [in VerifiedExtraction.Benchmarks.lib.vs]
clause_rect [in VerifiedExtraction.Benchmarks.lib.vs]
cnf [in VerifiedExtraction.Benchmarks.lib.vs]
CoInd.ones [in Top.tutorial]
CoInd.take [in Top.tutorial]
CoInd.test_ones [in Top.tutorial]
color [in VerifiedExtraction.Benchmarks.lib.Color]
coloring [in VerifiedExtraction.Benchmarks.lib.Color]
coloring_ok [in VerifiedExtraction.Benchmarks.lib.Color]
colors_of [in VerifiedExtraction.Benchmarks.lib.Color]
color1 [in VerifiedExtraction.Benchmarks.lib.Color]
compare_clause2 [in VerifiedExtraction.Benchmarks.lib.vs]
compare_clause'1 [in VerifiedExtraction.Benchmarks.lib.vs]
compare_clause_length [in VerifiedExtraction.Benchmarks.lib.vs]
compare_clause' [in VerifiedExtraction.Benchmarks.lib.vs]
compare_clause [in VerifiedExtraction.Benchmarks.lib.vs]
compare_space_atom [in VerifiedExtraction.Benchmarks.lib.vs]
compare_list [in VerifiedExtraction.Benchmarks.lib.vs]
comparison_eqb [in Malfunction.SemanticsSpec]
CompatiblePtr_sym [in Malfunction.Interpreter]
compile [in Malfunction.Compile]
compile_pipeline_tConstruct_cons [in Malfunction.Firstorder]
compile_pipeline [in Malfunction.Firstorder]
compile_malfunction [in Malfunction.Pipeline]
compile_malfunction_gen [in Malfunction.Pipeline]
compile_malfunction_pipeline [in Malfunction.Pipeline]
compile_to_malfunction [in Malfunction.Pipeline]
compile_value [in Malfunction.CompileCorrect]
compile_program [in Malfunction.Compile]
compile_env [in Malfunction.Compile]
compile_constant_decl [in Malfunction.Compile]
compile_array [in Malfunction.Compile]
compile_named_value [in Malfunction.PipelineCorrect]
compile_value_mf' [in Malfunction.PipelineCorrect]
compile_value_mf_aux [in Malfunction.PipelineCorrect]
compose [in VerifiedExtraction.Benchmarks.lib.vs]
CompSpec' [in VerifiedExtraction.Benchmarks.lib.vs]
cond [in Malfunction.SemanticsSpec]
Cons [in Malfunction.Serialize]
coq_false [in Top.test_extract_inductive]
coq_true [in Top.test_extract_inductive]
cstr_nargs [in Malfunction.RealizabilitySemantics]
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1589 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (10 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (24 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (137 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (50 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (262 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (184 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (45 entries) |
| Projection Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (37 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (26 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (19 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (742 entries) |
| Record Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (12 entries) |