[−][src]Module sophia_term::index_map
A trait for bidirectional mappings between terms and indexes of a smaller type.
Traits
TermIndexMap | A bidirectional mapping between |
Functions
assert_term_index_map_works | Takes an empty TermIndexMap, and checks that it behaves as expected. |