Fields
- m: Message
- declarations: [] Typechecked(Code_Declaration)
- procedure_headers: [] Typechecked(Code_Procedure_Header)
- procedure_bodies: [] Typechecked(Code_Procedure_Body)
- structs: [] Typechecked(Code_Struct)
- others: [] Typechecked(Code_Node)
- all: [] Typechecked(Code_Node)