Generated types

This part of the documentation describes types generated by Sylvia macros.

All of the generated code, except for the one generated by the entry_points macro is generated inside of the sv module.