Make FileIndex flexible for different type keys.#265

Merged

axlan merged 3 commits intomasterfrom flexible-index-type

Sep 29, 2023

+66-47

Commits on Sep 28, 2023

Make FileIndex flexible for different type keys.
Jonathan Diamond
committed
Add integer to find_matching_message_types check.
Jonathan Diamond
committed

Commits on Sep 29, 2023

Make invalid value explicit.
Jonathan Diamond
committed