Module index_map
sophia::term
A trait for bidirectional mappings between terms and indexes of a smaller type.
A bidirectionnal mapping between Terms and indexes of a smaller type.
Term