| 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) |
V (definition)
val [in Top.test_extraction_malfunction]val [in Top.test_primarray_ffi]
value_sind [in Malfunction.SemanticsSpec]
value_rec [in Malfunction.SemanticsSpec]
value_ind [in Malfunction.SemanticsSpec]
value_rect [in Malfunction.SemanticsSpec]
var [in Malfunction.Malfunction]
var [in VerifiedExtraction.Benchmarks.lib.vs]
var0 [in VerifiedExtraction.Benchmarks.lib.vs]
var1 [in VerifiedExtraction.Benchmarks.lib.vs]
var2 [in VerifiedExtraction.Benchmarks.lib.vs]
vector_type_sind [in Malfunction.Malfunction]
vector_type_rec [in Malfunction.Malfunction]
vector_type_ind [in Malfunction.Malfunction]
vector_type_rect [in Malfunction.Malfunction]
vector_type_to_string [in Malfunction.Serialize]
vector_type_eqb [in Malfunction.SemanticsSpec]
verified_malfunction_pipeline [in Malfunction.Pipeline]
verified_named_erasure_pipeline [in Malfunction.Pipeline]
veristar_result_sind [in VerifiedExtraction.Benchmarks.lib.vs]
veristar_result_rec [in VerifiedExtraction.Benchmarks.lib.vs]
veristar_result_ind [in VerifiedExtraction.Benchmarks.lib.vs]
veristar_result_rect [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.check_entailment [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.impl_pure_clause [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.incorp [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.is_empty_clause [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.naive_sublist [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.pureb [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.pures [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.pure_clauses [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.relim1 [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.sublist [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.sublistg [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.veristar_result_sind [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.veristar_result_rec [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.veristar_result_ind [in VerifiedExtraction.Benchmarks.lib.vs]
VeriStar.veristar_result_rect [in VerifiedExtraction.Benchmarks.lib.vs]
vplus [in Top.test_extract]
vplus [in Top.Tests]
vplus0123 [in Top.test_extract]
vplus0123 [in Top.Tests]
vrel_locals [in Malfunction.Interpreter]
v01 [in Top.test_extract]
v01 [in Top.Tests]
v23 [in Top.test_extract]
v23 [in Top.Tests]
| 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) |