Add name_to_index()
& index_to_name()
#972
Merged
sunfishcode merged 2 commits intobytecodealliance:mainfrom Jan 11, 2024
Merged
Add `name_to_index()` & `index_to_name()`#972sunfishcode merged 2 commits intobytecodealliance:mainfrom
sunfishcode merged 2 commits intobytecodealliance:mainfrom