rmtmps.ml should be able to delete unused structures, if you need this. We can't simply delete all struct definitions, because some structs can't be simplified (globals, return values, etc)
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Structure splitting example
Logged In: YES
user_id=1278428
Originator: NO
rmtmps.ml should be able to delete unused structures, if you need this. We can't simply delete all struct definitions, because some structs can't be simplified (globals, return values, etc)