(compiler) Write generated C++ definitions to separate header file
This is an important cleanup to be able to interface with the generated code more freely, e.g. from other hand-written C++ files. Found when working on #505.
This is an important cleanup to be able to interface with the generated code more freely, e.g. from other hand-written C++ files. Found when working on #505.