Module update 

Update function generation

Functions

generate_arms

Generate ONLY the match arms (without the match message { … } wrapper)

generate_update_match_arms

Generate the update match arms for use in a standalone function