> V simply generates functions for every type it's used with. So you have a "template" function as written in the source code and a list of actual functions ge

> V simply generates functions for every type it's used with. So you have a "template" function as written in the source code and a list of actual functions generated. You can either generate them as a final step or on the fly as you encounter; in either ways you probably have a mapping from the function name to the function body or something similar. How is that stored?