Translating generics
TODO: explain :3
The important entrypoints, that must stay in sync, are push_generics_for_def and
translate_item_generics.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
TODO: explain :3
The important entrypoints, that must stay in sync, are push_generics_for_def and
translate_item_generics.