| 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) |
P (definition)
palette [in VerifiedExtraction.Benchmarks.lib.Color]parse_graph [in VerifiedExtraction.Benchmarks.lib.Color]
path [in append]
Pleb [in VerifiedExtraction.Benchmarks.lib.vs]
pn_atom_cmp [in VerifiedExtraction.Benchmarks.lib.vs]
pn_atom_sind [in VerifiedExtraction.Benchmarks.lib.vs]
pn_atom_rec [in VerifiedExtraction.Benchmarks.lib.vs]
pn_atom_ind [in VerifiedExtraction.Benchmarks.lib.vs]
pn_atom_rect [in VerifiedExtraction.Benchmarks.lib.vs]
post_verified_named_erasure_pipeline [in Malfunction.Pipeline]
prf [in Top.test_extract]
primitives [in Malfunction.Malfunction]
prim_array_get_set [in Top.test_extraction_malfunction]
prim_array_get [in Top.test_extraction_malfunction]
prim_def_sind [in Malfunction.Malfunction]
prim_def_rec [in Malfunction.Malfunction]
prim_def_ind [in Malfunction.Malfunction]
prim_def_rect [in Malfunction.Malfunction]
prim_array_get_set [in Top.test_primarray_ffi]
prim_array_get [in Top.test_primarray_ffi]
PrintMLI [in Malfunction.PrintMli]
print_mli [in Malfunction.PrintMli]
print_globals [in Malfunction.PrintMli]
print_inductive [in Malfunction.PrintMli]
print_inductive_bodies [in Malfunction.PrintMli]
print_record_bodies [in Malfunction.PrintMli]
print_record [in Malfunction.PrintMli]
print_constructors [in Malfunction.PrintMli]
print_constructor [in Malfunction.PrintMli]
print_types [in Malfunction.PrintMli]
print_type [in Malfunction.PrintMli]
print_type_def [in Malfunction.PrintMli]
print_parens_around [in Malfunction.PrintMli]
prio [in VerifiedExtraction.Benchmarks.lib.vs]
prio1000 [in VerifiedExtraction.Benchmarks.lib.vs]
prio1001 [in VerifiedExtraction.Benchmarks.lib.vs]
priqueue [in VerifiedExtraction.Benchmarks.lib.Binom]
prog [in Top.test_primint_ffi]
program [in Malfunction.Malfunction]
pure_clause2pn_list [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom2pn_atom [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom_eq [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom_gt [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom_geq [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom_cmp [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom_sind [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom_rec [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom_ind [in VerifiedExtraction.Benchmarks.lib.vs]
pure_atom_rect [in VerifiedExtraction.Benchmarks.lib.vs]
| 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) |